Dave is nice. Dave is red. Dave is rough. Dave is smart. Dave is white. Fiona is blue. Fiona is red. If Fiona is quiet and Fiona is red then Fiona is white. Quiet things are rough. If something is red then it is white. If Dave is rough and Dave is quiet then Dave is white. If Dave is smart then Dave is white. All white things are blue.
Fiona is quiet.
@0: Dave is nice.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5 OR ((triple2) -> rule3) OR ((triple4) -> rule5))] Fiona is blue.[(triple6 OR ((((triple7) -> rule3)) -> rule6))] Fiona is red.[(triple7)] @1: Dave is blue.[(((triple5) -> rule6) OR ((((triple2) -> rule3)) -> rule6) OR ((((triple4) -> rule5)) -> rule6))] Fiona is white.[(((triple7) -> rule3))]