Dave is blue. Dave is green. Dave is not quiet. Dave is white. Fiona is not blue. Fiona is cold. Fiona is not green. Fiona is quiet. Fiona is white. Fiona is young. If something is blue and young then it is nice. All nice things are blue. If Dave is white then Dave is young. If something is cold and not young then it is quiet. All cold things are not green. If something is blue and not young then it is not cold.
Fiona is not nice.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is not quiet.[(triple3)] Dave is white.[(triple4)] Fiona is cold.[(triple6)] Fiona is not blue.[(triple5)] Fiona is not green.[(triple7 OR ((triple6) -> rule5))] Fiona is quiet.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10)] @1: Dave is young.[(((triple4) -> rule3))] @2: Dave is nice.[(((triple1 ((triple4) -> rule3)) -> rule1))]