Charlie is not blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Fiona is blue. Fiona is kind. Fiona is red. Harry is furry. Harry is not kind. Harry is red. Harry is not smart. Harry is white. All kind things are red.
Fiona is red.
@0: Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is not blue.[(triple1)] Charlie is red.[(triple5 OR ((triple3) -> rule1))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is kind.[(triple9)] Fiona is red.[(triple10 OR ((triple9) -> rule1))] Harry is furry.[(triple11)] Harry is not kind.[(triple12)] Harry is not smart.[(triple14)] Harry is red.[(triple13)] Harry is white.[(triple15)]