Anne is blue. Anne is cold. Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is round. Dave is blue. Dave is green. Dave is kind. Erin is cold. Erin is kind. Harry is blue. Harry is kind. Harry is nice. Nice, kind things are red. If Harry is cold then Harry is blue. Cold things are red. Blue things are cold. If something is red and kind then it is cold. All blue, round things are kind.
Harry is kind.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple1) -> rule4) OR ((triple6 triple4) -> rule5) OR ((triple6 ((triple1 triple7) -> rule6)) -> rule5) OR ((((triple5 triple4) -> rule1) triple4) -> rule5) OR ((((triple5 triple4) -> rule1) ((triple1 triple7) -> rule6)) -> rule5) OR ((((triple5 ((triple1 triple7) -> rule6)) -> rule1) triple4) -> rule5) OR ((((triple5 ((triple1 triple7) -> rule6)) -> rule1) ((triple1 triple7) -> rule6)) -> rule5))] Anne is green.[(triple3)] Anne is kind.[(triple4 OR ((triple1 triple7) -> rule6))] Anne is nice.[(triple5)] Anne is red.[(triple6 OR ((triple2) -> rule3) OR ((triple5 triple4) -> rule1) OR ((((triple1) -> rule4)) -> rule3) OR ((triple5 ((triple1 triple7) -> rule6)) -> rule1))] Anne is round.[(triple7)] Dave is blue.[(triple8)] Dave is green.[(triple9)] Dave is kind.[(triple10)] Erin is cold.[(triple11)] Erin is kind.[(triple12)] Harry is blue.[(triple13 OR ((((((triple15 triple14) -> rule1) triple14) -> rule5)) -> rule2))] Harry is kind.[(triple14)] Harry is nice.[(triple15)] @1: Dave is cold.[(((triple8) -> rule4))] Erin is red.[(((triple11) -> rule3))] Harry is cold.[(((triple13) -> rule4) OR ((((triple15 triple14) -> rule1) triple14) -> rule5))] Harry is red.[(((triple15 triple14) -> rule1) OR ((((triple13) -> rule4)) -> rule3))] @2: Dave is red.[(((((triple8) -> rule4)) -> rule3))]