Anne is cold. Anne is furry. Anne is not kind. Anne is quiet. Anne is round. Anne is smart. Gary is furry. Gary is kind. Gary is round. Harry is not big. Harry is kind. Harry is not quiet. All cold, big things are smart. If something is round then it is smart. If Anne is kind then Anne is smart. All furry, big things are quiet. If Harry is not cold then Harry is big. All kind things are furry. Furry things are round. If Harry is quiet then Harry is furry.
Gary is smart.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is not kind.[(triple3)] Anne is quiet.[(triple4)] Anne is round.[(triple5 OR ((triple2) -> rule7))] Anne is smart.[(triple6 OR ((triple5) -> rule2) OR ((((triple2) -> rule7)) -> rule2))] Gary is furry.[(triple7 OR ((triple8) -> rule6))] Gary is kind.[(triple8)] Gary is round.[(triple9 OR ((triple7) -> rule7) OR ((((triple8) -> rule6)) -> rule7))] Harry is kind.[(triple11)] Harry is not big.[(triple10)] Harry is not quiet.[(triple12)] @1: Gary is smart.[(((triple9) -> rule2) OR ((((triple7) -> rule7)) -> rule2) OR ((((((triple8) -> rule6)) -> rule7)) -> rule2))] Harry is furry.[(((triple11) -> rule6))] @2: Harry is round.[(((((triple11) -> rule6)) -> rule7))] @3: Harry is smart.[(((((((triple11) -> rule6)) -> rule7)) -> rule2))]