Charlie is nice. Dave is big. Erin is rough. Fiona is blue. All round, rough people are big. Blue, green people are big. If someone is rough then they are blue. Blue people are green. If someone is blue and not big then they are not furry. If someone is green and big then they are furry.
Fiona is blue.
@0: Charlie is nice.[(triple1)] Dave is big.[(triple2)] Erin is rough.[(triple3)] Fiona is blue.[(triple4)] @1: Erin is blue.[(((triple3) -> rule3))] Fiona is green.[(((triple4) -> rule4))] @2: Erin is green.[(((((triple3) -> rule3)) -> rule4))] Fiona is big.[(((triple4 ((triple4) -> rule4)) -> rule2))] @3: Erin is big.[(((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule4)) -> rule2))] Fiona is furry.[(((((triple4) -> rule4) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6))] @4: Erin is furry.[(((((((triple3) -> rule3)) -> rule4) ((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule6))]