Charlie is kind. Charlie is not nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. Dave is big. Dave is round. Dave is white. Fiona is nice. Fiona is round. Harry is not big. Harry is kind. Harry is round. Harry is white. All kind, nice things are rough. If something is round and big then it is red.
Harry is round.
@0: Charlie is kind.[(triple1)] Charlie is not nice.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Dave is big.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9)] Fiona is nice.[(triple10)] Fiona is round.[(triple11)] Harry is kind.[(triple13)] Harry is not big.[(triple12)] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Dave is red.[(((triple8 triple7) -> rule2))]