Dave is green. Dave is kind. Dave is red. Dave is rough. Dave is white. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is rough. Fiona is white. All green things are furry.
Dave is not green.
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Dave is red.[(triple3)] Dave is rough.[(triple4)] Dave is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7 OR ((triple8) -> rule1))] Fiona is green.[(triple8)] Fiona is kind.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is white.[(triple12)] @1: Dave is furry.[(((triple1) -> rule1))]