Charlie is big. Dave is white. Erin is not white. Fiona is green. If someone is big and rough then they are not furry. If Charlie is big then Charlie is rough.
Fiona is not green.
@0: Charlie is big.[(triple1)] Dave is white.[(triple2)] Erin is not white.[(triple3)] Fiona is green.[(triple4)] @1: Charlie is rough.[(((triple1) -> rule2))] @2: Charlie is not furry.[(((triple1 ((triple1) -> rule2)) -> rule1))]