Anne is furry. Anne is quiet. Anne is not rough. Anne is round. Dave is cold. Dave is furry. Dave is rough. Dave is not round. Dave is smart. Fiona is not blue. Fiona is cold. Fiona is not furry. Fiona is rough. Gary is rough. Gary is round. Gary is smart. If Anne is quiet and Anne is round then Anne is not cold. If something is round and smart then it is rough. All smart things are blue. If something is round and cold then it is quiet. If Gary is smart and Gary is blue then Gary is not cold. If Gary is furry and Gary is not cold then Gary is quiet. If something is cold and not smart then it is furry. If something is round and not blue then it is not furry.
Fiona is blue.
@0: Anne is furry.[(triple1)] Anne is not rough.[(triple3)] Anne is quiet.[(triple2)] Anne is round.[(triple4)] Dave is cold.[(triple5)] Dave is furry.[(triple6)] Dave is not round.[(triple8)] Dave is rough.[(triple7)] Dave is smart.[(triple9)] Fiona is cold.[(triple11)] Fiona is not blue.[(triple10)] Fiona is not furry.[(triple12)] Fiona is rough.[(triple13)] Gary is rough.[(triple14 OR ((triple15 triple16) -> rule2))] Gary is round.[(triple15)] Gary is smart.[(triple16)] @1: Anne is not cold.[(((triple2 triple4) -> rule1))] Dave is blue.[(((triple9) -> rule3))] Gary is blue.[(((triple16) -> rule3))] @2: Gary is not cold.[(((triple16 ((triple16) -> rule3)) -> rule5))]