Fiona is big. Fiona is cold. Fiona is green. Fiona is kind. Fiona is red. Gary is blue. Gary is cold. Gary is green. Gary is red. Gary is young. All blue, cold people are red. If someone is blue and big then they are red.
Gary is red.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is red.[(triple5)] Gary is blue.[(triple6)] Gary is cold.[(triple7)] Gary is green.[(triple8)] Gary is red.[(triple9 OR ((triple6 triple7) -> rule1))] Gary is young.[(triple10)]