Anne is cold. Anne is furry. Anne is kind. Anne is nice. Anne is smart. Anne is white. Bob is cold. Bob is furry. Bob is not kind. Bob is not nice. Bob is round. Bob is not white. Erin is nice. Erin is not round. Erin is smart. Erin is white. If Bob is round then Bob is furry.
Anne is not kind.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Bob is cold.[(triple7)] Bob is furry.[(triple8 OR ((triple11) -> rule1))] Bob is not kind.[(triple9)] Bob is not nice.[(triple10)] Bob is not white.[(triple12)] Bob is round.[(triple11)] Erin is nice.[(triple13)] Erin is not round.[(triple14)] Erin is smart.[(triple15)] Erin is white.[(triple16)]