Anne is blue. Anne is furry. Anne is kind. Anne is quiet. Anne is rough. Anne is white. Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is rough. Bob is white. Charlie is blue. Charlie is furry. Charlie is kind. If something is kind then it is white. If something is cold then it is white. If Anne is cold then Anne is furry. If something is rough and quiet then it is cold. All furry, cold things are blue. If something is furry and cold then it is quiet. If something is kind and quiet then it is blue. All white things are cold.
Charlie is cold.
@0: Anne is blue.[(triple1 OR ((triple3 triple4) -> rule7) OR ((triple2 ((triple6) -> rule8)) -> rule5) OR ((triple2 ((triple5 triple4) -> rule4)) -> rule5) OR ((triple2 ((((triple3) -> rule1)) -> rule8)) -> rule5) OR ((triple3 ((triple2 ((triple6) -> rule8)) -> rule6)) -> rule7) OR ((((((triple6) -> rule8)) -> rule3) ((triple6) -> rule8)) -> rule5) OR ((((((triple6) -> rule8)) -> rule3) ((triple5 triple4) -> rule4)) -> rule5) OR ((((((triple5 triple4) -> rule4)) -> rule3) ((triple6) -> rule8)) -> rule5) OR ((((((triple5 triple4) -> rule4)) -> rule3) ((triple5 triple4) -> rule4)) -> rule5) OR ((((((triple6) -> rule8)) -> rule3) ((((triple3) -> rule1)) -> rule8)) -> rule5) OR ((((((triple5 triple4) -> rule4)) -> rule3) ((((triple3) -> rule1)) -> rule8)) -> rule5) OR ((triple3 ((triple2 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule7) OR ((triple3 ((((((triple6) -> rule8)) -> rule3) ((triple6) -> rule8)) -> rule6)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule3) ((triple6) -> rule8)) -> rule5) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule3) ((triple5 triple4) -> rule4)) -> rule5) OR ((triple3 ((((((triple6) -> rule8)) -> rule3) ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule3) ((((triple3) -> rule1)) -> rule8)) -> rule5) OR ((triple3 ((((((((triple3) -> rule1)) -> rule8)) -> rule3) ((triple6) -> rule8)) -> rule6)) -> rule7) OR ((triple3 ((((((((triple3) -> rule1)) -> rule8)) -> rule3) ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule7))] Anne is furry.[(triple2 OR ((((triple6) -> rule8)) -> rule3) OR ((((triple5 triple4) -> rule4)) -> rule3) OR ((((((triple3) -> rule1)) -> rule8)) -> rule3))] Anne is kind.[(triple3)] Anne is quiet.[(triple4 OR ((triple2 ((triple6) -> rule8)) -> rule6) OR ((triple2 ((((triple3) -> rule1)) -> rule8)) -> rule6) OR ((((((triple6) -> rule8)) -> rule3) ((triple6) -> rule8)) -> rule6) OR ((((((triple6) -> rule8)) -> rule3) ((((triple3) -> rule1)) -> rule8)) -> rule6) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule3) ((triple6) -> rule8)) -> rule6) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule3) ((((triple3) -> rule1)) -> rule8)) -> rule6))] Anne is rough.[(triple5)] Anne is white.[(triple6 OR ((triple3) -> rule1) OR ((((triple5 triple4) -> rule4)) -> rule2))] Bob is blue.[(triple7 OR ((triple10 triple11) -> rule7) OR ((triple9 triple8) -> rule5) OR ((triple10 ((triple9 triple8) -> rule6)) -> rule7) OR ((triple9 ((triple13) -> rule8)) -> rule5) OR ((triple9 ((triple12 triple11) -> rule4)) -> rule5) OR ((triple10 ((triple9 ((triple13) -> rule8)) -> rule6)) -> rule7) OR ((triple9 ((((triple10) -> rule1)) -> rule8)) -> rule5) OR ((triple10 ((triple9 ((((triple10) -> rule1)) -> rule8)) -> rule6)) -> rule7))] Bob is cold.[(triple8 OR ((triple13) -> rule8) OR ((triple12 triple11) -> rule4) OR ((((triple10) -> rule1)) -> rule8))] Bob is furry.[(triple9)] Bob is kind.[(triple10)] Bob is quiet.[(triple11 OR ((triple9 triple8) -> rule6) OR ((triple9 ((triple13) -> rule8)) -> rule6) OR ((triple9 ((((triple10) -> rule1)) -> rule8)) -> rule6))] Bob is rough.[(triple12)] Bob is white.[(triple13 OR ((triple10) -> rule1) OR ((triple8) -> rule2) OR ((((triple12 triple11) -> rule4)) -> rule2))] Charlie is blue.[(triple14 OR ((triple15 ((((triple16) -> rule1)) -> rule8)) -> rule5) OR ((triple16 ((triple15 ((((triple16) -> rule1)) -> rule8)) -> rule6)) -> rule7))] Charlie is furry.[(triple15)] Charlie is kind.[(triple16)] @1: Anne is cold.[(((triple6) -> rule8) OR ((triple5 triple4) -> rule4) OR ((((triple3) -> rule1)) -> rule8))] Charlie is white.[(((triple16) -> rule1))] @2: Charlie is cold.[(((((triple16) -> rule1)) -> rule8))] @3: Charlie is quiet.[(((triple15 ((((triple16) -> rule1)) -> rule8)) -> rule6))]