Anne is big. Anne is cold. Anne is kind. Anne is rough. Anne is round. Anne is smart. Anne is young. Harry is cold. Harry is smart. Harry is young. Young things are rough. If Harry is rough then Harry is kind. If something is kind then it is rough. If Harry is big then Harry is kind. If Anne is cold and Anne is round then Anne is smart. All smart, kind things are big. Smart things are round. If Harry is young and Harry is cold then Harry is smart.
Harry is rough.
@0: Anne is big.[(triple1 OR ((triple6 triple3) -> rule6) OR ((((triple2 triple5) -> rule5) triple3) -> rule6))] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is rough.[(triple4 OR ((triple3) -> rule3) OR ((triple7) -> rule1))] Anne is round.[(triple5 OR ((triple6) -> rule7))] Anne is smart.[(triple6 OR ((triple2 triple5) -> rule5))] Anne is young.[(triple7)] Harry is cold.[(triple8)] Harry is smart.[(triple9 OR ((triple10 triple8) -> rule8))] Harry is young.[(triple10)] @1: Harry is rough.[(((triple10) -> rule1))] Harry is round.[(((triple9) -> rule7) OR ((((triple10 triple8) -> rule8)) -> rule7))] @2: Harry is kind.[(((((triple10) -> rule1)) -> rule2))] @3: Harry is big.[(((triple9 ((((triple10) -> rule1)) -> rule2)) -> rule6) OR ((((triple10 triple8) -> rule8) ((((triple10) -> rule1)) -> rule2)) -> rule6))]