Dave is blue. Dave is rough. Dave is white. Erin is big. Erin is young. Fiona is blue. Fiona is round. If something is nice then it is blue. If something is young and not big then it is blue. All white, big things are round. Blue things are young. If something is round and not blue then it is not rough. If something is white and not young then it is not rough.
Fiona is not blue.
@0: Dave is blue.[(triple1)] Dave is rough.[(triple2)] Dave is white.[(triple3)] Erin is big.[(triple4)] Erin is young.[(triple5)] Fiona is blue.[(triple6)] Fiona is round.[(triple7)] @1: Dave is young.[(((triple1) -> rule4))] Fiona is young.[(((triple6) -> rule4))]