Erin is green. Erin is red. Erin is rough. Erin is round. Erin is smart. Erin is young. Gary is quiet. Gary is red. Gary is round. Gary is smart. If something is green and rough then it is young. Smart things are red. If something is smart and rough then it is quiet. If something is red and green then it is young. If something is rough then it is smart. If something is rough and quiet then it is smart. If Gary is quiet and Gary is red then Gary is round. If Gary is green then Gary is red.
Gary is green.
@0: Erin is green.[(triple1)] Erin is red.[(triple2 OR ((triple5) -> rule2) OR ((((triple3) -> rule5)) -> rule2))] Erin is rough.[(triple3)] Erin is round.[(triple4)] Erin is smart.[(triple5 OR ((triple3) -> rule5))] Erin is young.[(triple6 OR ((triple1 triple3) -> rule1) OR ((triple2 triple1) -> rule4) OR ((((triple5) -> rule2) triple1) -> rule4) OR ((((((triple3) -> rule5)) -> rule2) triple1) -> rule4))] Gary is quiet.[(triple7)] Gary is red.[(triple8 OR ((triple10) -> rule2))] Gary is round.[(triple9 OR ((triple7 triple8) -> rule7) OR ((triple7 ((triple10) -> rule2)) -> rule7))] Gary is smart.[(triple10)] @1: Erin is quiet.[(((triple5 triple3) -> rule3) OR ((((triple3) -> rule5) triple3) -> rule3))]