Anne is kind. Anne is rough. Anne is smart. Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is smart. Erin is blue. Erin is cold. Erin is kind. Erin is rough. Harry is green. Harry is smart. Smart, rough things are blue. If something is rough and cold then it is nice. Green, cold things are kind. If something is kind then it is rough. If something is green then it is cold. Green, nice things are rough.
Harry is kind.
@0: Anne is kind.[(triple1)] Anne is rough.[(triple2 OR ((triple1) -> rule4))] Anne is smart.[(triple3)] Charlie is cold.[(triple4 OR ((triple5) -> rule5))] Charlie is green.[(triple5)] Charlie is kind.[(triple6 OR ((triple5 triple4) -> rule3) OR ((triple5 ((triple5) -> rule5)) -> rule3))] Charlie is nice.[(triple7 OR ((triple8 triple4) -> rule2) OR ((triple8 ((triple5) -> rule5)) -> rule2) OR ((((triple6) -> rule4) triple4) -> rule2) OR ((((triple6) -> rule4) ((triple5) -> rule5)) -> rule2) OR ((((((triple5 triple4) -> rule3)) -> rule4) triple4) -> rule2) OR ((((((triple5 triple4) -> rule3)) -> rule4) ((triple5) -> rule5)) -> rule2) OR ((((((triple5 ((triple5) -> rule5)) -> rule3)) -> rule4) triple4) -> rule2) OR ((((((triple5 ((triple5) -> rule5)) -> rule3)) -> rule4) ((triple5) -> rule5)) -> rule2))] Charlie is rough.[(triple8 OR ((triple6) -> rule4) OR ((triple5 triple7) -> rule6) OR ((((triple5 triple4) -> rule3)) -> rule4) OR ((((triple5 ((triple5) -> rule5)) -> rule3)) -> rule4))] Charlie is smart.[(triple9)] Erin is blue.[(triple10)] Erin is cold.[(triple11)] Erin is kind.[(triple12)] Erin is rough.[(triple13 OR ((triple12) -> rule4))] Harry is green.[(triple14)] Harry is smart.[(triple15)] @1: Anne is blue.[(((triple3 triple2) -> rule1) OR ((triple3 ((triple1) -> rule4)) -> rule1))] Charlie is blue.[(((triple9 triple8) -> rule1) OR ((triple9 ((triple6) -> rule4)) -> rule1) OR ((triple9 ((triple5 triple7) -> rule6)) -> rule1) OR ((triple9 ((((triple5 triple4) -> rule3)) -> rule4)) -> rule1) OR ((triple9 ((((triple5 ((triple5) -> rule5)) -> rule3)) -> rule4)) -> rule1))] Erin is nice.[(((triple13 triple11) -> rule2) OR ((((triple12) -> rule4) triple11) -> rule2))] Harry is cold.[(((triple14) -> rule5))] @2: Harry is kind.[(((triple14 ((triple14) -> rule5)) -> rule3))] @3: Harry is rough.[(((((triple14 ((triple14) -> rule5)) -> rule3)) -> rule4))] @4: Harry is blue.[(((triple15 ((((triple14 ((triple14) -> rule5)) -> rule3)) -> rule4)) -> rule1))] Harry is nice.[(((((((triple14 ((triple14) -> rule5)) -> rule3)) -> rule4) ((triple14) -> rule5)) -> rule2))]