Bob is blue. Gary is round. Big things are young. Big, red things are young. Young things are not red. If something is green then it is red. All big, green things are red. If Bob is blue then Bob is not round. Blue things are green. If something is green and not blue then it is not furry.
Bob is round.
@0: Bob is blue.[(triple1)] Gary is round.[(triple2)] @1: Bob is green.[(((triple1) -> rule7))] Bob is not round.[(((triple1) -> rule6))] @2: Bob is red.[(((((triple1) -> rule7)) -> rule4))]