Bob is not furry. Bob is nice. Bob is not rough. Bob is not round. Bob is smart. Bob is not white. Fiona is blue. Fiona is rough. Fiona is round. Fiona is white. If Bob is rough and Bob is nice then Bob is round. If something is furry and not blue then it is smart. If something is smart then it is not furry.
Fiona is not smart.
@0: Bob is nice.[(triple2)] Bob is not furry.[(triple1 OR ((triple5) -> rule3))] Bob is not rough.[(triple3)] Bob is not round.[(triple4)] Bob is not white.[(triple6)] Bob is smart.[(triple5)] Fiona is blue.[(triple7)] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10)]