Dave is big. Dave is blue. Dave is not kind. Dave is red. Dave is smart. Dave is white. Dave is not young. Fiona is big. Fiona is blue. Fiona is kind. Fiona is red. Fiona is smart. Fiona is white. Fiona is not young. If something is young and blue then it is smart. If something is kind then it is red.
Dave is smart.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is not kind.[(triple3)] Dave is not young.[(triple7)] Dave is red.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is kind.[(triple10)] Fiona is not young.[(triple14)] Fiona is red.[(triple11 OR ((triple10) -> rule2))] Fiona is smart.[(triple12)] Fiona is white.[(triple13)]