Charlie is big. Charlie is green. Charlie is kind. Charlie is nice. Charlie is white. Charlie is young. Fiona is big. Fiona is green. Fiona is kind. Fiona is nice. Fiona is young. Harry is kind. Harry is nice. Harry is smart. Harry is young. Smart, white people are nice. Smart, young people are kind. Smart people are young.
Fiona is smart.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Fiona is big.[(triple7)] Fiona is green.[(triple8)] Fiona is kind.[(triple9)] Fiona is nice.[(triple10)] Fiona is young.[(triple11)] Harry is kind.[(triple12 OR ((triple14 triple15) -> rule2) OR ((triple14 ((triple14) -> rule3)) -> rule2))] Harry is nice.[(triple13)] Harry is smart.[(triple14)] Harry is young.[(triple15 OR ((triple14) -> rule3))]