Dave is blue. Dave is green. Dave is nice. Dave is red. Dave is rough. Dave is smart. Fiona is smart. Red people are big. If someone is smart then they are big.
Fiona is not red.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Fiona is smart.[(triple7)] @1: Dave is big.[(((triple4) -> rule1) OR ((triple6) -> rule2))] Fiona is big.[(((triple7) -> rule2))]