Bob is furry. Gary is furry. Gary is rough. If Bob is blue then Bob is not rough. If something is quiet then it is round. If something is rough then it is quiet. Big things are red. If something is quiet and not round then it is red. All round things are red.
Bob is not quiet.
@0: Bob is furry.[(triple1)] Gary is furry.[(triple2)] Gary is rough.[(triple3)] @1: Gary is quiet.[(((triple3) -> rule3))] @2: Gary is round.[(((((triple3) -> rule3)) -> rule2))] @3: Gary is red.[(((((((triple3) -> rule3)) -> rule2)) -> rule6))]