Anne is nice. Anne is young. Dave is red. Erin is round. Harry is blue. Harry is nice. Harry is round. All nice people are round. Blue people are young. Kind people are red. All young, nice people are blue. All round, cold people are kind. If someone is red and nice then they are kind. Cold people are kind. If Anne is round and Anne is nice then Anne is red.
Erin is cold.
@0: Anne is nice.[(triple1)] Anne is young.[(triple2)] Dave is red.[(triple3)] Erin is round.[(triple4)] Harry is blue.[(triple5)] Harry is nice.[(triple6)] Harry is round.[(triple7 OR ((triple6) -> rule1))] @1: Anne is blue.[(((triple2 triple1) -> rule4))] Anne is round.[(((triple1) -> rule1))] Harry is young.[(((triple5) -> rule2))] @2: Anne is red.[(((((triple1) -> rule1) triple1) -> rule8))] @3: Anne is kind.[(((((((triple1) -> rule1) triple1) -> rule8) triple1) -> rule6))]