Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Gary is blue. Gary is cold. Gary is green. Gary is kind. Gary is red. All red people are blue.
Fiona is not red.
@0: Fiona is blue.[(triple1 OR ((triple7) -> rule1))] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is green.[(triple4)] Fiona is kind.[(triple5)] Fiona is quiet.[(triple6)] Fiona is red.[(triple7)] Gary is blue.[(triple8 OR ((triple12) -> rule1))] Gary is cold.[(triple9)] Gary is green.[(triple10)] Gary is kind.[(triple11)] Gary is red.[(triple12)]