Fiona is blue. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is white. Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is white. Kind, blue things are cold.
Gary is not white.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2 OR ((triple4 triple1) -> rule1))] Fiona is furry.[(triple3)] Fiona is kind.[(triple4)] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6)] Fiona is white.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9 OR ((triple11 triple8) -> rule1))] Gary is furry.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12)] Gary is quiet.[(triple13)] Gary is white.[(triple14)]