Bob is not furry. Bob is quiet. Bob is smart. Gary is nice. Gary is smart. Harry is nice. Harry is smart. Quiet things are smart. If something is round and smart then it is quiet. Smart things are round. If Gary is quiet then Gary is white. If something is furry and not round then it is nice. If something is rough and not nice then it is white.
Gary is not smart.
@0: Bob is not furry.[(triple1)] Bob is quiet.[(triple2 OR ((((triple3) -> rule3) triple3) -> rule2))] Bob is smart.[(triple3 OR ((triple2) -> rule1))] Gary is nice.[(triple4)] Gary is smart.[(triple5)] Harry is nice.[(triple6)] Harry is smart.[(triple7)] @1: Bob is round.[(((triple3) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] Gary is round.[(((triple5) -> rule3))] Harry is round.[(((triple7) -> rule3))] @2: Gary is quiet.[(((((triple5) -> rule3) triple5) -> rule2))] Harry is quiet.[(((((triple7) -> rule3) triple7) -> rule2))] @3: Gary is white.[(((((((triple5) -> rule3) triple5) -> rule2)) -> rule4))]