Anne is not round. Anne is young. Dave is blue. Dave is cold. Dave is quiet. Dave is not red. Dave is round. Dave is not white. Dave is young. Gary is blue. Gary is not cold. Gary is white. Gary is young. Harry is red. Harry is young. Red, cold things are not round. All cold, blue things are quiet. Red things are not quiet. White things are red. All quiet things are blue. If something is white and cold then it is blue. Quiet, red things are not young. If something is round and not quiet then it is not young.
Anne is not blue.
@0: Anne is not round.[(triple1)] Anne is young.[(triple2)] Dave is blue.[(triple3 OR ((triple5) -> rule5))] Dave is cold.[(triple4)] Dave is not red.[(triple6)] Dave is not white.[(triple8)] Dave is quiet.[(triple5 OR ((triple4 triple3) -> rule2))] Dave is round.[(triple7)] Dave is young.[(triple9)] Gary is blue.[(triple10)] Gary is not cold.[(triple11)] Gary is white.[(triple12)] Gary is young.[(triple13)] Harry is red.[(triple14)] Harry is young.[(triple15)] @1: Gary is red.[(((triple12) -> rule4))] Harry is not quiet.[(((triple14) -> rule3))] @2: Gary is not quiet.[(((((triple12) -> rule4)) -> rule3))]