Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. Fiona is white. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is red. Gary is round. Gary is white. If something is green and cold then it is round. If something is red and not white then it is not round. If something is red and not cold then it is not furry.
Fiona is not white.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is green.[(triple4)] Fiona is red.[(triple5)] Fiona is round.[(triple6 OR ((triple4 triple2) -> rule1))] Fiona is white.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is green.[(triple11)] Gary is red.[(triple12)] Gary is round.[(triple13 OR ((triple11 triple9) -> rule1))] Gary is white.[(triple14)]