Anne is not furry. Anne is not green. Anne is kind. Anne is nice. Anne is not round. Anne is smart. Anne is young. Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is smart. Bob is not young. Fiona is furry. Fiona is not green. Fiona is smart. If someone is nice and not smart then they are furry. If Bob is nice and Bob is green then Bob is not young.
Bob is round.
@0: Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is not furry.[(triple1)] Anne is not green.[(triple2)] Anne is not round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Bob is furry.[(triple8)] Bob is green.[(triple9)] Bob is kind.[(triple10)] Bob is nice.[(triple11)] Bob is not young.[(triple13 OR ((triple11 triple9) -> rule2))] Bob is smart.[(triple12)] Fiona is furry.[(triple14)] Fiona is not green.[(triple15)] Fiona is smart.[(triple16)]