Anne is cold. Anne is smart. Anne is young. Charlie is blue. Charlie is cold. Charlie is smart. Charlie is white. Charlie is young. Harry is cold. Harry is kind. Harry is rough. Harry is white. All young, rough people are white. If Harry is cold then Harry is rough. If someone is smart then they are blue. If someone is kind and rough then they are smart. Cold people are smart. All cold, kind people are young.
Charlie is rough.
@0: Anne is cold.[(triple1)] Anne is smart.[(triple2 OR ((triple1) -> rule5))] Anne is young.[(triple3)] Charlie is blue.[(triple4 OR ((triple6) -> rule3) OR ((((triple5) -> rule5)) -> rule3))] Charlie is cold.[(triple5)] Charlie is smart.[(triple6 OR ((triple5) -> rule5))] Charlie is white.[(triple7)] Charlie is young.[(triple8)] Harry is cold.[(triple9)] Harry is kind.[(triple10)] Harry is rough.[(triple11 OR ((triple9) -> rule2))] Harry is white.[(triple12 OR ((((triple9 triple10) -> rule6) triple11) -> rule1) OR ((((triple9 triple10) -> rule6) ((triple9) -> rule2)) -> rule1))] @1: Anne is blue.[(((triple2) -> rule3) OR ((((triple1) -> rule5)) -> rule3))] Harry is smart.[(((triple9) -> rule5) OR ((triple10 triple11) -> rule4) OR ((triple10 ((triple9) -> rule2)) -> rule4))] Harry is young.[(((triple9 triple10) -> rule6))] @2: Harry is blue.[(((((triple9) -> rule5)) -> rule3) OR ((((triple10 triple11) -> rule4)) -> rule3) OR ((((triple10 ((triple9) -> rule2)) -> rule4)) -> rule3))]