Dave is not big. Dave is furry. Dave is not white. Fiona is furry. Fiona is not red. Fiona is rough. Fiona is smart. If something is smart and green then it is not white. All furry things are green. If something is furry then it is rough.
Fiona is white.
@0: Dave is furry.[(triple2)] Dave is not big.[(triple1)] Dave is not white.[(triple3)] Fiona is furry.[(triple4)] Fiona is not red.[(triple5)] Fiona is rough.[(triple6 OR ((triple4) -> rule3))] Fiona is smart.[(triple7)] @1: Dave is green.[(((triple2) -> rule2))] Dave is rough.[(((triple2) -> rule3))] Fiona is green.[(((triple4) -> rule2))] @2: Fiona is not white.[(((triple7 ((triple4) -> rule2)) -> rule1))]