Dave is quiet. Fiona is quiet. Gary is quiet. Harry is blue. Red, blue things are not quiet. If something is quiet then it is not blue. If something is quiet then it is not red. If something is young and not blue then it is not rough. If something is quiet and not blue then it is young. All rough, white things are kind.
Fiona is quiet.
@0: Dave is quiet.[(triple1)] Fiona is quiet.[(triple2)] Gary is quiet.[(triple3)] Harry is blue.[(triple4)] @1: Dave is not blue.[(((triple1) -> rule2))] Dave is not red.[(((triple1) -> rule3))] Fiona is not blue.[(((triple2) -> rule2))] Fiona is not red.[(((triple2) -> rule3))] Gary is not blue.[(((triple3) -> rule2))] Gary is not red.[(((triple3) -> rule3))] @2: Dave is young.[(((triple1 ((triple1) -> rule2)) -> rule5))] Fiona is young.[(((triple2 ((triple2) -> rule2)) -> rule5))] Gary is young.[(((triple3 ((triple3) -> rule2)) -> rule5))] @3: Dave is not rough.[(((((triple1 ((triple1) -> rule2)) -> rule5) ((triple1) -> rule2)) -> rule4))] Fiona is not rough.[(((((triple2 ((triple2) -> rule2)) -> rule5) ((triple2) -> rule2)) -> rule4))] Gary is not rough.[(((((triple3 ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule4))]