Fiona is blue. Fiona is green. Fiona is nice. Fiona is smart. Fiona is white. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is quiet. Gary is smart. Gary is white. If Fiona is white and Fiona is nice then Fiona is smart. All quiet people are cold. Green, blue people are quiet. All cold, smart people are blue. All cold people are smart. Nice people are smart.
Gary is green.
@0: Fiona is blue.[(triple1)] Fiona is green.[(triple2)] Fiona is nice.[(triple3)] Fiona is smart.[(triple4 OR ((triple3) -> rule6) OR ((triple5 triple3) -> rule1) OR ((((((triple2 triple1) -> rule3)) -> rule2)) -> rule5))] Fiona is white.[(triple5)] Gary is blue.[(triple6 OR ((triple7 triple11) -> rule4) OR ((triple7 ((triple7) -> rule5)) -> rule4) OR ((triple7 ((triple9) -> rule6)) -> rule4) OR ((((triple10) -> rule2) triple11) -> rule4) OR ((((triple10) -> rule2) ((triple7) -> rule5)) -> rule4) OR ((((triple10) -> rule2) ((triple9) -> rule6)) -> rule4) OR ((triple7 ((((triple10) -> rule2)) -> rule5)) -> rule4) OR ((((triple10) -> rule2) ((((triple10) -> rule2)) -> rule5)) -> rule4))] Gary is cold.[(triple7 OR ((triple10) -> rule2) OR ((((triple8 triple6) -> rule3)) -> rule2))] Gary is green.[(triple8)] Gary is nice.[(triple9)] Gary is quiet.[(triple10 OR ((triple8 triple6) -> rule3) OR ((triple8 ((triple7 triple11) -> rule4)) -> rule3) OR ((triple8 ((triple7 ((triple7) -> rule5)) -> rule4)) -> rule3) OR ((triple8 ((triple7 ((triple9) -> rule6)) -> rule4)) -> rule3))] Gary is smart.[(triple11 OR ((triple7) -> rule5) OR ((triple9) -> rule6) OR ((((triple10) -> rule2)) -> rule5) OR ((((((triple8 triple6) -> rule3)) -> rule2)) -> rule5))] Gary is white.[(triple12)] @1: Fiona is quiet.[(((triple2 triple1) -> rule3))] @2: Fiona is cold.[(((((triple2 triple1) -> rule3)) -> rule2))]