Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is rough. Gary is blue. Gary is cold. Gary is green. Gary is quiet. Gary is red. Harry is blue. Harry is green. Harry is nice. Harry is quiet. Harry is red. Harry is rough. All quiet, blue people are red. Red people are green. If someone is rough then they are nice. If Fiona is quiet then Fiona is blue. If Gary is cold then Gary is blue. If someone is quiet and cold then they are blue.
Gary is green.
@0: Fiona is cold.[(triple1)] Fiona is green.[(triple2 OR ((((triple4 ((triple4) -> rule4)) -> rule1)) -> rule2) OR ((((triple4 ((triple4 triple1) -> rule6)) -> rule1)) -> rule2))] Fiona is nice.[(triple3 OR ((triple5) -> rule3))] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Gary is blue.[(triple6 OR ((triple7) -> rule5) OR ((triple9 triple7) -> rule6))] Gary is cold.[(triple7)] Gary is green.[(triple8 OR ((triple10) -> rule2) OR ((((triple9 triple6) -> rule1)) -> rule2) OR ((((triple9 ((triple7) -> rule5)) -> rule1)) -> rule2) OR ((((triple9 ((triple9 triple7) -> rule6)) -> rule1)) -> rule2))] Gary is quiet.[(triple9)] Gary is red.[(triple10 OR ((triple9 triple6) -> rule1) OR ((triple9 ((triple7) -> rule5)) -> rule1) OR ((triple9 ((triple9 triple7) -> rule6)) -> rule1))] Harry is blue.[(triple11)] Harry is green.[(triple12 OR ((triple15) -> rule2) OR ((((triple14 triple11) -> rule1)) -> rule2))] Harry is nice.[(triple13 OR ((triple16) -> rule3))] Harry is quiet.[(triple14)] Harry is red.[(triple15 OR ((triple14 triple11) -> rule1))] Harry is rough.[(triple16)] @1: Fiona is blue.[(((triple4) -> rule4) OR ((triple4 triple1) -> rule6))] @2: Fiona is red.[(((triple4 ((triple4) -> rule4)) -> rule1) OR ((triple4 ((triple4 triple1) -> rule6)) -> rule1))]