Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is red. Anne is not smart. Anne is white. Dave is big. Dave is not cold. Dave is green. Dave is smart. Fiona is big. Fiona is not green. Gary is smart. Gary is white. If something is cold and not green then it is furry. If Dave is furry then Dave is cold. If something is furry and white then it is red. If something is green and not cold then it is red. All red, big things are white. If something is red and not furry then it is white.
Gary is not furry.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is not smart.[(triple6)] Anne is red.[(triple5 OR ((triple3 triple7) -> rule3))] Anne is white.[(triple7 OR ((triple5 triple1) -> rule5))] Dave is big.[(triple8)] Dave is green.[(triple10)] Dave is not cold.[(triple9)] Dave is smart.[(triple11)] Fiona is big.[(triple12)] Fiona is not green.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15)] @1: Dave is red.[(((triple10 triple9) -> rule4))] @2: Dave is white.[(((((triple10 triple9) -> rule4) triple8) -> rule5))]