Anne is furry. Anne is smart. Bob is furry. Bob is round. Charlie is furry. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is young. Gary is nice. Gary is quiet. Gary is red. Quiet, young things are round. All red, round things are furry. All furry things are quiet. If something is round and red then it is furry. All red things are quiet. If Gary is quiet and Gary is nice then Gary is smart.
Bob is furry.
@0: Anne is furry.[(triple1)] Anne is smart.[(triple2)] Bob is furry.[(triple3)] Bob is round.[(triple4)] Charlie is furry.[(triple5)] Charlie is quiet.[(triple6 OR ((triple5) -> rule3))] Charlie is round.[(triple7 OR ((triple6 triple9) -> rule1) OR ((((triple5) -> rule3) triple9) -> rule1))] Charlie is smart.[(triple8)] Charlie is young.[(triple9)] Gary is nice.[(triple10)] Gary is quiet.[(triple11 OR ((triple12) -> rule5))] Gary is red.[(triple12)] @1: Anne is quiet.[(((triple1) -> rule3))] Bob is quiet.[(((triple3) -> rule3))] Gary is smart.[(((triple11 triple10) -> rule6) OR ((((triple12) -> rule5) triple10) -> rule6))]