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