Gary is big. Gary is green. Gary is not round. If someone is green and furry then they are red. All big, round people are red. All big, quiet people are red. If Gary is red and Gary is quiet then Gary is green. If someone is green and not round then they are furry. Green, red people are young. If someone is furry and red then they are green. If Gary is quiet and Gary is not red then Gary is not young.
Gary is big.
@0: Gary is big.[(triple1)] Gary is green.[(triple2)] Gary is not round.[(triple3)] @1: Gary is furry.[(((triple2 triple3) -> rule5))] @2: Gary is red.[(((triple2 ((triple2 triple3) -> rule5)) -> rule1))] @3: Gary is young.[(((triple2 ((triple2 ((triple2 triple3) -> rule5)) -> rule1)) -> rule6))]