Gary is furry. Harry is big. If someone is furry and nice then they are big. If someone is rough then they are big. All big, rough people are nice. White, rough people are big. All furry people are round. All nice, round people are furry. All big people are white. If someone is furry then they are nice.
Gary is furry.
@0: Gary is furry.[(triple1)] Harry is big.[(triple2)] @1: Gary is nice.[(((triple1) -> rule8))] Gary is round.[(((triple1) -> rule5))] Harry is white.[(((triple2) -> rule7))] @2: Gary is big.[(((triple1 ((triple1) -> rule8)) -> rule1))] @3: Gary is white.[(((((triple1 ((triple1) -> rule8)) -> rule1)) -> rule7))]