Dave is big. Dave is blue. Dave is kind. Dave is red. Dave is smart. Dave is white. Dave is young. Fiona is big. Fiona is red. Fiona is smart. Fiona is white. Fiona is young. Smart things are blue.
Fiona is white.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple5) -> rule1))] Dave is kind.[(triple3)] Dave is red.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Fiona is big.[(triple8)] Fiona is red.[(triple9)] Fiona is smart.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12)] @1: Fiona is blue.[(((triple10) -> rule1))]