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