Fiona is big. Fiona is blue. Fiona is cold. Fiona is not green. Fiona is not nice. Fiona is red. Fiona is young. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is red. Gary is young. Green, cold things are big. If something is green then it is nice.
Fiona is nice.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is cold.[(triple3)] Fiona is not green.[(triple4)] Fiona is not nice.[(triple5)] Fiona is red.[(triple6)] Fiona is young.[(triple7)] Gary is big.[(triple8 OR ((triple11 triple10) -> rule1))] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is green.[(triple11)] Gary is nice.[(triple12 OR ((triple11) -> rule2))] Gary is red.[(triple13)] Gary is young.[(triple14)]