Charlie is not blue. Charlie is furry. Charlie is not nice. Charlie is not rough. Charlie is round. Charlie is not smart. Fiona is not nice. Fiona is not smart. Harry is blue. Harry is furry. Harry is kind. Harry is nice. Harry is not rough. Harry is round. Harry is smart. Rough, round people are kind. If someone is blue and round then they are kind. Blue people are nice. If Harry is rough then Harry is blue. If Fiona is not smart and Fiona is not blue then Fiona is not rough. If Charlie is blue then Charlie is furry.
Charlie is not kind.
@0: Charlie is furry.[(triple2)] Charlie is not blue.[(triple1)] Charlie is not nice.[(triple3)] Charlie is not rough.[(triple4)] Charlie is not smart.[(triple6)] Charlie is round.[(triple5)] Fiona is not nice.[(triple7)] Fiona is not smart.[(triple8)] Harry is blue.[(triple9)] Harry is furry.[(triple10)] Harry is kind.[(triple11 OR ((triple9 triple14) -> rule2))] Harry is nice.[(triple12 OR ((triple9) -> rule3))] Harry is not rough.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)]