Dave is blue. Dave is kind. Dave is nice. Dave is red. Dave is young. Fiona is nice. Fiona is red. Big people are nice. Red people are blue.
Fiona is red.
@0: Dave is blue.[(triple1 OR ((triple4) -> rule2))] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Dave is young.[(triple5)] Fiona is nice.[(triple6)] Fiona is red.[(triple7)] @1: Fiona is blue.[(((triple7) -> rule2))]