Erin is furry. Fiona is green. If something is green then it is rough. White, young things are green. If something is furry then it is green. If something is rough then it is big. Green, big things are white. If something is rough and green then it is big.
Erin is not big.
@0: Erin is furry.[(triple1)] Fiona is green.[(triple2)] @1: Erin is green.[(((triple1) -> rule3))] Fiona is rough.[(((triple2) -> rule1))] @2: Erin is rough.[(((((triple1) -> rule3)) -> rule1))] Fiona is big.[(((((triple2) -> rule1)) -> rule4) OR ((((triple2) -> rule1) triple2) -> rule6))] @3: Erin is big.[(((((((triple1) -> rule3)) -> rule1)) -> rule4) OR ((((((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule6))] Fiona is white.[(((triple2 ((((triple2) -> rule1)) -> rule4)) -> rule5) OR ((triple2 ((((triple2) -> rule1) triple2) -> rule6)) -> rule5))] @4: Erin is white.[(((((triple1) -> rule3) ((((((triple1) -> rule3)) -> rule1)) -> rule4)) -> rule5) OR ((((triple1) -> rule3) ((((((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule6)) -> rule5))]