Dave is green. Dave is smart. Erin is blue. Erin is red. Erin is round. Erin is not smart. Erin is not young. Gary is blue. Gary is red. Gary is round. If something is young then it is blue. If something is white and smart then it is round. If Dave is round then Dave is red. If something is blue then it is green. If something is red and smart then it is not green. Blue things are white. If something is smart and blue then it is young. Blue, green things are red.
Gary is smart.
@0: Dave is green.[(triple1)] Dave is smart.[(triple2)] Erin is blue.[(triple3)] Erin is not smart.[(triple6)] Erin is not young.[(triple7)] Erin is red.[(triple4 OR ((triple3 ((triple3) -> rule4)) -> rule8))] Erin is round.[(triple5)] Gary is blue.[(triple8)] Gary is red.[(triple9 OR ((triple8 ((triple8) -> rule4)) -> rule8))] Gary is round.[(triple10)] @1: Erin is green.[(((triple3) -> rule4))] Erin is white.[(((triple3) -> rule6))] Gary is green.[(((triple8) -> rule4))] Gary is white.[(((triple8) -> rule6))]