Fiona is nice. Gary is round. Gary is white. Green people are nice. Cold people are round. Nice, round people are green. Round, green people are furry. If someone is green then they are cold. If someone is white and rough then they are green. If someone is white and round then they are nice. Green people are rough.
Gary is not round.
@0: Fiona is nice.[(triple1)] Gary is round.[(triple2)] Gary is white.[(triple3)] @1: Gary is nice.[(((triple3 triple2) -> rule7))] @2: Gary is green.[(((((triple3 triple2) -> rule7) triple2) -> rule3))] @3: Gary is cold.[(((((((triple3 triple2) -> rule7) triple2) -> rule3)) -> rule5))] Gary is furry.[(((triple2 ((((triple3 triple2) -> rule7) triple2) -> rule3)) -> rule4))] Gary is rough.[(((((((triple3 triple2) -> rule7) triple2) -> rule3)) -> rule8))]