Gary is blue. Gary is green. Gary is kind. If Gary is smart then Gary is blue. If something is white and round then it is blue. Rough things are blue. Kind, round things are not white. If something is rough then it is smart. If something is white and not round then it is not smart. All kind things are rough. If Gary is rough then Gary is not white.
Gary is not kind.
@0: Gary is blue.[(triple1 OR ((((triple3) -> rule7)) -> rule3) OR ((((((triple3) -> rule7)) -> rule5)) -> rule1))] Gary is green.[(triple2)] Gary is kind.[(triple3)] @1: Gary is rough.[(((triple3) -> rule7))] @2: Gary is not white.[(((((triple3) -> rule7)) -> rule8))] Gary is smart.[(((((triple3) -> rule7)) -> rule5))]