Erin is furry. Erin is smart. Fiona is green. If something is kind then it is nice. If something is furry and white then it is rough. If something is kind and rough then it is nice. All nice things are white. If Erin is smart then Erin is nice. If something is green then it is rough.
Fiona is white.
@0: Erin is furry.[(triple1)] Erin is smart.[(triple2)] Fiona is green.[(triple3)] @1: Erin is nice.[(((triple2) -> rule5))] Fiona is rough.[(((triple3) -> rule6))] @2: Erin is white.[(((((triple2) -> rule5)) -> rule4))] @3: Erin is rough.[(((triple1 ((((triple2) -> rule5)) -> rule4)) -> rule2))]