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