Fiona is big. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. Gary is big. Gary is green. Gary is rough. Gary is round. Gary is smart. Gary is white. Gary is young. If Gary is round and Gary is rough then Gary is big. Rough, green things are young.
Fiona is green.
@0: Fiona is big.[(triple1)] Fiona is rough.[(triple2)] Fiona is smart.[(triple3)] Fiona is white.[(triple4)] Fiona is young.[(triple5)] Gary is big.[(triple6 OR ((triple9 triple8) -> rule1))] Gary is green.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12 OR ((triple8 triple7) -> rule2))]