Bob is not furry. Bob is rough. Charlie is not furry. Charlie is not kind. Charlie is rough. Charlie is round. Charlie is not smart. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is smart. Harry is green. Harry is kind. Harry is round. If something is rough and blue then it is furry. Green, blue things are furry. If something is rough and kind then it is round. All round, blue things are not green. If something is smart then it is blue. If something is kind and not rough then it is blue.
Harry is not kind.
@0: Bob is not furry.[(triple1)] Bob is rough.[(triple2)] Charlie is not furry.[(triple3)] Charlie is not kind.[(triple4)] Charlie is not smart.[(triple7)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Fiona is blue.[(triple8 OR ((triple12) -> rule5))] Fiona is furry.[(triple9 OR ((triple10 triple8) -> rule2) OR ((triple10 ((triple12) -> rule5)) -> rule2))] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Fiona is smart.[(triple12)] Harry is green.[(triple13)] Harry is kind.[(triple14)] Harry is round.[(triple15)]