Fiona is blue. Fiona is cold. Fiona is red. Fiona is smart. Gary is cold. Gary is green. Gary is smart. All quiet things are cold. Smart things are red. If something is blue then it is quiet. All red, smart things are green. Blue things are smart. All cold, white things are quiet. If Gary is smart and Gary is white then Gary is red. Red things are green.
Gary is white.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2 OR ((((triple1) -> rule3)) -> rule1))] Fiona is red.[(triple3 OR ((triple4) -> rule2) OR ((((triple1) -> rule5)) -> rule2))] Fiona is smart.[(triple4 OR ((triple1) -> rule5))] Gary is cold.[(triple5)] Gary is green.[(triple6 OR ((((triple7) -> rule2)) -> rule8) OR ((((triple7) -> rule2) triple7) -> rule4))] Gary is smart.[(triple7)] @1: Fiona is green.[(((triple3) -> rule8) OR ((triple3 triple4) -> rule4) OR ((((triple4) -> rule2)) -> rule8) OR ((triple3 ((triple1) -> rule5)) -> rule4) OR ((((triple4) -> rule2) triple4) -> rule4) OR ((((triple4) -> rule2) ((triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule5)) -> rule2)) -> rule8) OR ((((((triple1) -> rule5)) -> rule2) triple4) -> rule4) OR ((((((triple1) -> rule5)) -> rule2) ((triple1) -> rule5)) -> rule4))] Fiona is quiet.[(((triple1) -> rule3))] Gary is red.[(((triple7) -> rule2))]