Anne is cold. Anne is quiet. Anne is round. Gary is furry. Gary is green. Gary is not nice. Gary is quiet. Gary is not round. Harry is cold. Harry is nice. Harry is round. Harry is young. Quiet things are furry. If Anne is round then Anne is not young. If Harry is furry then Harry is nice. Furry, round things are nice. If something is cold and not young then it is nice. All round, green things are nice. All green things are not cold. If something is nice then it is cold.
Anne is green.
@0: Anne is cold.[(triple1 OR ((((((triple2) -> rule1) triple3) -> rule4)) -> rule8))] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Gary is furry.[(triple4 OR ((triple7) -> rule1))] Gary is green.[(triple5)] Gary is not nice.[(triple6)] Gary is not round.[(triple8)] Gary is quiet.[(triple7)] Harry is cold.[(triple9 OR ((triple10) -> rule8))] Harry is nice.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12)] @1: Anne is furry.[(((triple2) -> rule1))] Anne is not young.[(((triple3) -> rule2))] Gary is not cold.[(((triple5) -> rule7))] @2: Anne is nice.[(((triple1 ((triple3) -> rule2)) -> rule5) OR ((((triple2) -> rule1) triple3) -> rule4))]