Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is smart. Dave is white. Dave is young. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is white. Fiona is young. If Dave is furry then Dave is smart.
Fiona is green.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is smart.[(triple5 OR ((triple2) -> rule1))] Dave is white.[(triple6)] Dave is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12)]