Dave is not furry. Dave is kind. Dave is nice. Dave is red. Dave is round. Dave is smart. Dave is white. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. If someone is smart then they are nice. If someone is white and not kind then they are not nice. If Fiona is white then Fiona is red.
Fiona is not nice.
@0: Dave is kind.[(triple2)] Dave is nice.[(triple3 OR ((triple6) -> rule1))] Dave is not furry.[(triple1)] Dave is red.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7)] Fiona is furry.[(triple8)] Fiona is kind.[(triple9)] Fiona is nice.[(triple10 OR ((triple13) -> rule1))] Fiona is red.[(triple11 OR ((triple14) -> rule3))] Fiona is round.[(triple12)] Fiona is smart.[(triple13)] Fiona is white.[(triple14)]