Bob is round. Gary is quiet. All quiet, red things are blue. Round things are red. If Gary is rough and Gary is quiet then Gary is blue. Quiet, big things are furry. Quiet things are blue. If something is rough and furry then it is red. Blue, quiet things are big. Big things are furry.
Bob is not red.
@0: Bob is round.[(triple1)] Gary is quiet.[(triple2)] @1: Bob is red.[(((triple1) -> rule2))] Gary is blue.[(((triple2) -> rule5))] @2: Gary is big.[(((((triple2) -> rule5) triple2) -> rule7))] @3: Gary is furry.[(((((((triple2) -> rule5) triple2) -> rule7)) -> rule8) OR ((triple2 ((((triple2) -> rule5) triple2) -> rule7)) -> rule4))]