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