Dave is blue. Dave is red. Dave is young. Fiona is not nice. Fiona is white. Gary is cold. Gary is young. Blue people are green. Red people are white. White people are blue.
Dave is blue.
@0: Dave is blue.[(triple1 OR ((((triple2) -> rule2)) -> rule3))] Dave is red.[(triple2)] Dave is young.[(triple3)] Fiona is not nice.[(triple4)] Fiona is white.[(triple5)] Gary is cold.[(triple6)] Gary is young.[(triple7)] @1: Dave is green.[(((triple1) -> rule1) OR ((((((triple2) -> rule2)) -> rule3)) -> rule1))] Dave is white.[(((triple2) -> rule2))] Fiona is blue.[(((triple5) -> rule3))] @2: Fiona is green.[(((((triple5) -> rule3)) -> rule1))]