Charlie is big. Erin is blue. Fiona is furry. If something is blue then it is big. If something is blue then it is white. If Erin is furry then Erin is rough.
Erin is nice.
@0: Charlie is big.[(triple1)] Erin is blue.[(triple2)] Fiona is furry.[(triple3)] @1: Erin is big.[(((triple2) -> rule1))] Erin is white.[(((triple2) -> rule2))]