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.
Charlie is not big.
@0: Charlie is big.[(triple1)] Erin is blue.[(triple2)] Fiona is furry.[(triple3)] @1: Erin is big.[(((triple2) -> rule1))] Erin is white.[(((triple2) -> rule2))]