Anne is nice. Anne is smart. Anne is young. Charlie is big. Charlie is furry. Charlie is nice. Charlie is round. Charlie is smart. Harry is big. Harry is nice. Harry is round. Harry is smart. If Charlie is young then Charlie is big. Furry, smart things are round. Furry, cold things are round. If Harry is smart then Harry is round. All furry things are young. If something is big and round then it is furry.
Harry is round.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] Charlie is big.[(triple4 OR ((((triple5) -> rule5)) -> rule1))] Charlie is furry.[(triple5 OR ((triple4 triple7) -> rule6))] Charlie is nice.[(triple6)] Charlie is round.[(triple7 OR ((triple5 triple8) -> rule2))] Charlie is smart.[(triple8)] Harry is big.[(triple9)] Harry is nice.[(triple10)] Harry is round.[(triple11 OR ((triple12) -> rule4))] Harry is smart.[(triple12)] @1: Charlie is young.[(((triple5) -> rule5) OR ((((triple4 triple7) -> rule6)) -> rule5))] Harry is furry.[(((triple9 triple11) -> rule6) OR ((triple9 ((triple12) -> rule4)) -> rule6))] @2: Harry is young.[(((((triple9 triple11) -> rule6)) -> rule5) OR ((((triple9 ((triple12) -> rule4)) -> rule6)) -> rule5))]