Anne is blue. Anne is white. Charlie is red. Fiona is quiet. Fiona is smart. Gary is blue. Gary is furry. Gary is red. Gary is smart. Gary is white. Cold people are red. If someone is quiet then they are cold. Smart, blue people are quiet. If Fiona is blue then Fiona is furry. If someone is blue then they are quiet. If Gary is furry and Gary is smart then Gary is white. If Anne is red and Anne is furry then Anne is blue. Quiet people are cold.
Anne is blue.
@0: Anne is blue.[(triple1)] Anne is white.[(triple2)] Charlie is red.[(triple3)] Fiona is quiet.[(triple4)] Fiona is smart.[(triple5)] Gary is blue.[(triple6)] Gary is furry.[(triple7)] Gary is red.[(triple8 OR ((((((triple6) -> rule5)) -> rule2)) -> rule1) OR ((((((triple6) -> rule5)) -> rule8)) -> rule1) OR ((((((triple9 triple6) -> rule3)) -> rule2)) -> rule1) OR ((((((triple9 triple6) -> rule3)) -> rule8)) -> rule1))] Gary is smart.[(triple9)] Gary is white.[(triple10 OR ((triple7 triple9) -> rule6))] @1: Anne is quiet.[(((triple1) -> rule5))] Fiona is cold.[(((triple4) -> rule2) OR ((triple4) -> rule8))] Gary is quiet.[(((triple6) -> rule5) OR ((triple9 triple6) -> rule3))] @2: Anne is cold.[(((((triple1) -> rule5)) -> rule2) OR ((((triple1) -> rule5)) -> rule8))] Fiona is red.[(((((triple4) -> rule2)) -> rule1) OR ((((triple4) -> rule8)) -> rule1))] Gary is cold.[(((((triple6) -> rule5)) -> rule2) OR ((((triple6) -> rule5)) -> rule8) OR ((((triple9 triple6) -> rule3)) -> rule2) OR ((((triple9 triple6) -> rule3)) -> rule8))] @3: Anne is red.[(((((((triple1) -> rule5)) -> rule2)) -> rule1) OR ((((((triple1) -> rule5)) -> rule8)) -> rule1))]