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