Fiona is big. Fiona is blue. Fiona is not cold. Fiona is green. Fiona is nice. Fiona is white. Fiona is not young. Gary is not big. Gary is blue. Gary is cold. Gary is green. Gary is not nice. Gary is white. Gary is young. If Gary is young and Gary is not nice then Gary is white. If someone is cold then they are green. All white, cold people are green.
Fiona is cold.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is green.[(triple4)] Fiona is nice.[(triple5)] Fiona is not cold.[(triple3)] Fiona is not young.[(triple7)] Fiona is white.[(triple6)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is green.[(triple11 OR ((triple10) -> rule2) OR ((triple13 triple10) -> rule3) OR ((((triple14 triple12) -> rule1) triple10) -> rule3))] Gary is not big.[(triple8)] Gary is not nice.[(triple12)] Gary is white.[(triple13 OR ((triple14 triple12) -> rule1))] Gary is young.[(triple14)]