Fiona is big. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is young. Gary is big. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is smart. Gary is young. All smart people are young.
Gary is big.
@0: Fiona is big.[(triple1)] Fiona is green.[(triple2)] Fiona is kind.[(triple3)] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7 OR ((triple6) -> rule1))] Gary is big.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is quiet.[(triple12)] Gary is smart.[(triple13)] Gary is young.[(triple14 OR ((triple13) -> rule1))]