Erin is furry. Erin is nice. Erin is quiet. Erin is red. Erin is young. Fiona is big. Fiona is nice. If something is nice and quiet then it is big. If something is nice then it is red.
Fiona is furry.
@0: Erin is furry.[(triple1)] Erin is nice.[(triple2)] Erin is quiet.[(triple3)] Erin is red.[(triple4 OR ((triple2) -> rule2))] Erin is young.[(triple5)] Fiona is big.[(triple6)] Fiona is nice.[(triple7)] @1: Erin is big.[(((triple2 triple3) -> rule1))] Fiona is red.[(((triple7) -> rule2))]