Anne is cold. Anne is not young. Fiona is furry. Fiona is nice. Gary is smart. Gary is young. Harry is not cold. Harry is furry. Harry is smart. Harry is young. If something is smart then it is red. Smart things are red. If something is young and red then it is not nice. All cold things are furry. If something is smart and not nice then it is furry. If something is furry then it is green.
Gary is not smart.
@0: Anne is cold.[(triple1)] Anne is not young.[(triple2)] Fiona is furry.[(triple3)] Fiona is nice.[(triple4)] Gary is smart.[(triple5)] Gary is young.[(triple6)] Harry is furry.[(triple8 OR ((triple9 ((triple10 ((triple9) -> rule1)) -> rule3)) -> rule5) OR ((triple9 ((triple10 ((triple9) -> rule2)) -> rule3)) -> rule5))] Harry is not cold.[(triple7)] Harry is smart.[(triple9)] Harry is young.[(triple10)] @1: Anne is furry.[(((triple1) -> rule4))] Fiona is green.[(((triple3) -> rule6))] Gary is red.[(((triple5) -> rule1) OR ((triple5) -> rule2))] Harry is green.[(((triple8) -> rule6) OR ((((triple9 ((triple10 ((triple9) -> rule1)) -> rule3)) -> rule5)) -> rule6) OR ((((triple9 ((triple10 ((triple9) -> rule2)) -> rule3)) -> rule5)) -> rule6))] Harry is red.[(((triple9) -> rule1) OR ((triple9) -> rule2))] @2: Anne is green.[(((((triple1) -> rule4)) -> rule6))] Gary is not nice.[(((triple6 ((triple5) -> rule1)) -> rule3) OR ((triple6 ((triple5) -> rule2)) -> rule3))] Harry is not nice.[(((triple10 ((triple9) -> rule1)) -> rule3) OR ((triple10 ((triple9) -> rule2)) -> rule3))] @3: Gary is furry.[(((triple5 ((triple6 ((triple5) -> rule1)) -> rule3)) -> rule5) OR ((triple5 ((triple6 ((triple5) -> rule2)) -> rule3)) -> rule5))] @4: Gary is green.[(((((triple5 ((triple6 ((triple5) -> rule1)) -> rule3)) -> rule5)) -> rule6) OR ((((triple5 ((triple6 ((triple5) -> rule2)) -> rule3)) -> rule5)) -> rule6))]