Charlie is not furry. Charlie is not red. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. Dave is smart. Dave is not white. Fiona is smart. Fiona is white. If something is big and not young then it is red. All furry, smart things are red. All red things are rough. All smart things are rough. If something is red and white then it is rough. If Dave is rough and Dave is furry then Dave is white.
Fiona is smart.
@0: Charlie is not furry.[(triple1)] Charlie is not red.[(triple2)] Charlie is rough.[(triple3 OR ((triple4) -> rule4))] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Dave is not white.[(triple8)] Dave is smart.[(triple7)] Fiona is smart.[(triple9)] Fiona is white.[(triple10)] @1: Dave is rough.[(((triple7) -> rule4))] Fiona is rough.[(((triple9) -> rule4))]