Charlie is rough. Charlie is white. Fiona is big. Fiona is kind. Fiona is rough. Fiona is round. Fiona is white. Harry is big. Harry is kind. Harry is round. Harry is white. Harry is young. If Harry is white and Harry is rough then Harry is big. All young people are nice.
Fiona is not round.
@0: Charlie is rough.[(triple1)] Charlie is white.[(triple2)] Fiona is big.[(triple3)] Fiona is kind.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)] Harry is big.[(triple8)] Harry is kind.[(triple9)] Harry is round.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Harry is nice.[(((triple12) -> rule2))]