Logical Argument Generator