Charlie is not blue. Charlie is rough. Charlie is not white. Dave is big. Dave is smart. Fiona is blue. Fiona is round. Fiona is smart. Harry is kind. Harry is round. Rough, round things are kind. If Fiona is smart then Fiona is big.
Dave is not kind.
@0: Charlie is not blue.[(triple1)] Charlie is not white.[(triple3)] Charlie is rough.[(triple2)] Dave is big.[(triple4)] Dave is smart.[(triple5)] Fiona is blue.[(triple6)] Fiona is round.[(triple7)] Fiona is smart.[(triple8)] Harry is kind.[(triple9)] Harry is round.[(triple10)] @1: Fiona is big.[(((triple8) -> rule2))]