Anne is kind. Anne is rough. Bob is blue. Bob is not furry. Bob is not red. Bob is rough. Bob is not round. Bob is white. Charlie is blue. Charlie is furry. Charlie is round. Dave is red. Dave is rough. Dave is round. Dave is white. All furry people are red. All blue people are not kind. If someone is round and not white then they are kind.
Anne is rough.
@0: Anne is kind.[(triple1)] Anne is rough.[(triple2)] Bob is blue.[(triple3)] Bob is not furry.[(triple4)] Bob is not red.[(triple5)] Bob is not round.[(triple7)] Bob is rough.[(triple6)] Bob is white.[(triple8)] Charlie is blue.[(triple9)] Charlie is furry.[(triple10)] Charlie is round.[(triple11)] Dave is red.[(triple12)] Dave is rough.[(triple13)] Dave is round.[(triple14)] Dave is white.[(triple15)] @1: Bob is not kind.[(((triple3) -> rule2))] Charlie is not kind.[(((triple9) -> rule2))] Charlie is red.[(((triple10) -> rule1))]