Anne is big. Anne is blue. Anne is cold. Anne is not green. Anne is red. Anne is round. Dave is white. Fiona is cold. Fiona is green. Fiona is not red. Fiona is white. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is red. White people are blue. All cold people are blue.
Anne is white.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple3) -> rule2))] Anne is cold.[(triple3)] Anne is not green.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Dave is white.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is not red.[(triple10)] Fiona is white.[(triple11)] Gary is big.[(triple12)] Gary is blue.[(triple13 OR ((triple14) -> rule2))] Gary is cold.[(triple14)] Gary is green.[(triple15)] Gary is red.[(triple16)] @1: Dave is blue.[(((triple7) -> rule1))] Fiona is blue.[(((triple11) -> rule1) OR ((triple8) -> rule2))]