Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is rough. Anne is round. Anne is white. Charlie is cold. Charlie is furry. Charlie is green. Charlie is round. Charlie is white. All white, cold people are rough. If Anne is green and Anne is rough then Anne is cold. If someone is green then they are round. If someone is rough and quiet then they are furry. If someone is quiet and white then they are round. All cold people are quiet. If Charlie is round and Charlie is furry then Charlie is quiet. White, furry people are cold.
Anne is not round.
@0: Anne is cold.[(triple1 OR ((triple3 triple5) -> rule2) OR ((triple7 triple2) -> rule8) OR ((triple7 ((triple5 triple4) -> rule4)) -> rule8))] Anne is furry.[(triple2 OR ((triple5 triple4) -> rule4) OR ((triple5 ((triple1) -> rule6)) -> rule4) OR ((((triple7 triple1) -> rule1) triple4) -> rule4) OR ((((triple7 triple1) -> rule1) ((triple1) -> rule6)) -> rule4) OR ((triple5 ((((triple3 triple5) -> rule2)) -> rule6)) -> rule4) OR ((((triple7 triple1) -> rule1) ((((triple3 triple5) -> rule2)) -> rule6)) -> rule4))] Anne is green.[(triple3)] Anne is quiet.[(triple4 OR ((triple1) -> rule6) OR ((((triple3 triple5) -> rule2)) -> rule6) OR ((((triple7 triple2) -> rule8)) -> rule6))] Anne is rough.[(triple5 OR ((triple7 triple1) -> rule1) OR ((triple7 ((triple7 triple2) -> rule8)) -> rule1))] Anne is round.[(triple6 OR ((triple3) -> rule3) OR ((triple4 triple7) -> rule5) OR ((((triple1) -> rule6) triple7) -> rule5) OR ((((((triple3 triple5) -> rule2)) -> rule6) triple7) -> rule5) OR ((((((triple7 triple2) -> rule8)) -> rule6) triple7) -> rule5))] Anne is white.[(triple7)] Charlie is cold.[(triple8 OR ((triple12 triple9) -> rule8))] Charlie is furry.[(triple9 OR ((((triple12 triple8) -> rule1) ((triple8) -> rule6)) -> rule4))] Charlie is green.[(triple10)] Charlie is round.[(triple11 OR ((triple10) -> rule3) OR ((((triple8) -> rule6) triple12) -> rule5) OR ((((((triple12 triple9) -> rule8)) -> rule6) triple12) -> rule5))] Charlie is white.[(triple12)] @1: Charlie is quiet.[(((triple8) -> rule6) OR ((triple11 triple9) -> rule7) OR ((((triple12 triple9) -> rule8)) -> rule6) OR ((((triple10) -> rule3) triple9) -> rule7))] Charlie is rough.[(((triple12 triple8) -> rule1) OR ((triple12 ((triple12 triple9) -> rule8)) -> rule1))]