Anne is blue. Anne is cold. Anne is green. Anne is white. Bob is green. Bob is red. Fiona is big. Fiona is not blue. Fiona is cold. Fiona is furry. Fiona is not red. Fiona is white. Gary is big. Gary is blue. Gary is cold. Gary is red. If Fiona is blue and Fiona is not red then Fiona is not furry. All green things are cold.
Gary is not blue.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple3) -> rule2))] Anne is green.[(triple3)] Anne is white.[(triple4)] Bob is green.[(triple5)] Bob is red.[(triple6)] Fiona is big.[(triple7)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10)] Fiona is not blue.[(triple8)] Fiona is not red.[(triple11)] Fiona is white.[(triple12)] Gary is big.[(triple13)] Gary is blue.[(triple14)] Gary is cold.[(triple15)] Gary is red.[(triple16)] @1: Bob is cold.[(((triple5) -> rule2))]