Erin is blue. Erin is rough. Fiona is blue. Fiona is red. Fiona is round. Gary is red. Gary is rough. All round people are rough. If someone is young then they are red. If someone is round and blue then they are nice. All red, blue people are nice. If Gary is smart and Gary is rough then Gary is young. If someone is nice then they are round. If Gary is young and Gary is nice then Gary is blue. All blue, nice people are smart.
Gary is red.
@0: Erin is blue.[(triple1)] Erin is rough.[(triple2)] Fiona is blue.[(triple3)] Fiona is red.[(triple4)] Fiona is round.[(triple5 OR ((((triple4 triple3) -> rule4)) -> rule6))] Gary is red.[(triple6)] Gary is rough.[(triple7)] @1: Fiona is nice.[(((triple4 triple3) -> rule4) OR ((triple5 triple3) -> rule3))] Fiona is rough.[(((triple5) -> rule1) OR ((((((triple4 triple3) -> rule4)) -> rule6)) -> rule1))] @2: Fiona is smart.[(((triple3 ((triple4 triple3) -> rule4)) -> rule8) OR ((triple3 ((triple5 triple3) -> rule3)) -> rule8))]