Charlie is big. Charlie is kind. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. Erin is big. Fiona is young. Gary is big. Gary is kind. Gary is rough. Gary is round. Gary is smart. Gary is white. Gary is young. If someone is kind and rough then they are big.
Fiona is young.
@0: Charlie is big.[(triple1 OR ((triple2 triple3) -> rule1))] Charlie is kind.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Erin is big.[(triple8)] Fiona is young.[(triple9)] Gary is big.[(triple10 OR ((triple11 triple12) -> rule1))] Gary is kind.[(triple11)] Gary is rough.[(triple12)] Gary is round.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16)]