Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is round. Gary is big. Gary is cold. Gary is furry. Gary is green. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is round. Green, round things are blue.
Gary is round.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple5 triple6) -> rule1))] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is green.[(triple5)] Fiona is round.[(triple6)] Gary is big.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Harry is blue.[(triple11 OR ((triple14 triple15) -> rule1))] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is green.[(triple14)] Harry is round.[(triple15)]