Erin is green. Fiona is green. Fiona is rough. If someone is rough and big then they are furry. If Fiona is rough then Fiona is big. All furry people are not white.
Erin is not rough.
@0: Erin is green.[(triple1)] Fiona is green.[(triple2)] Fiona is rough.[(triple3)] @1: Fiona is big.[(((triple3) -> rule2))] @2: Fiona is furry.[(((triple3 ((triple3) -> rule2)) -> rule1))] @3: Fiona is not white.[(((((triple3 ((triple3) -> rule2)) -> rule1)) -> rule3))]