Anne is blue. Anne is cold. Anne is green. Anne is quiet. Anne is red. Anne is round. Anne is white. Charlie is blue. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. Gary is green. Gary is quiet. If someone is round and cold then they are blue. If Anne is round then Anne is white. Round people are white. Quiet, green people are round. Blue, quiet people are cold. Round, blue people are red. White people are blue. White, cold people are blue.
Gary is not white.
@0: Anne is blue.[(triple1 OR ((triple7) -> rule7) OR ((triple6 triple2) -> rule1) OR ((triple7 triple2) -> rule8) OR ((((triple6) -> rule2)) -> rule7) OR ((((triple6) -> rule3)) -> rule7) OR ((((triple6) -> rule2) triple2) -> rule8) OR ((((triple6) -> rule3) triple2) -> rule8) OR ((((triple4 triple3) -> rule4) triple2) -> rule1) OR ((((((triple4 triple3) -> rule4)) -> rule2)) -> rule7) OR ((((((triple4 triple3) -> rule4)) -> rule3)) -> rule7) OR ((((((triple4 triple3) -> rule4)) -> rule2) triple2) -> rule8) OR ((((((triple4 triple3) -> rule4)) -> rule3) triple2) -> rule8))] Anne is cold.[(triple2 OR ((triple1 triple4) -> rule5) OR ((((triple7) -> rule7) triple4) -> rule5) OR ((((((triple6) -> rule2)) -> rule7) triple4) -> rule5) OR ((((((triple6) -> rule3)) -> rule7) triple4) -> rule5) OR ((((((((triple4 triple3) -> rule4)) -> rule2)) -> rule7) triple4) -> rule5) OR ((((((((triple4 triple3) -> rule4)) -> rule3)) -> rule7) triple4) -> rule5))] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple6 triple1) -> rule6) OR ((triple6 ((triple7) -> rule7)) -> rule6) OR ((triple6 ((triple6 triple2) -> rule1)) -> rule6) OR ((triple6 ((triple7 triple2) -> rule8)) -> rule6) OR ((((triple4 triple3) -> rule4) triple1) -> rule6) OR ((((triple4 triple3) -> rule4) ((triple7) -> rule7)) -> rule6) OR ((((triple4 triple3) -> rule4) ((triple6 triple2) -> rule1)) -> rule6) OR ((((triple4 triple3) -> rule4) ((triple7 triple2) -> rule8)) -> rule6) OR ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule6) OR ((triple6 ((((triple6) -> rule3)) -> rule7)) -> rule6) OR ((triple6 ((((triple6) -> rule2) triple2) -> rule8)) -> rule6) OR ((triple6 ((((triple6) -> rule3) triple2) -> rule8)) -> rule6) OR ((triple6 ((((triple4 triple3) -> rule4) triple2) -> rule1)) -> rule6) OR ((((triple4 triple3) -> rule4) ((((triple6) -> rule2)) -> rule7)) -> rule6) OR ((((triple4 triple3) -> rule4) ((((triple6) -> rule3)) -> rule7)) -> rule6) OR ((((triple4 triple3) -> rule4) ((((triple6) -> rule2) triple2) -> rule8)) -> rule6) OR ((((triple4 triple3) -> rule4) ((((triple6) -> rule3) triple2) -> rule8)) -> rule6) OR ((((triple4 triple3) -> rule4) ((((triple4 triple3) -> rule4) triple2) -> rule1)) -> rule6) OR ((triple6 ((((((triple4 triple3) -> rule4)) -> rule2)) -> rule7)) -> rule6) OR ((triple6 ((((((triple4 triple3) -> rule4)) -> rule3)) -> rule7)) -> rule6) OR ((triple6 ((((((triple4 triple3) -> rule4)) -> rule2) triple2) -> rule8)) -> rule6) OR ((triple6 ((((((triple4 triple3) -> rule4)) -> rule3) triple2) -> rule8)) -> rule6) OR ((((triple4 triple3) -> rule4) ((((((triple4 triple3) -> rule4)) -> rule2)) -> rule7)) -> rule6) OR ((((triple4 triple3) -> rule4) ((((((triple4 triple3) -> rule4)) -> rule3)) -> rule7)) -> rule6) OR ((((triple4 triple3) -> rule4) ((((((triple4 triple3) -> rule4)) -> rule2) triple2) -> rule8)) -> rule6) OR ((((triple4 triple3) -> rule4) ((((((triple4 triple3) -> rule4)) -> rule3) triple2) -> rule8)) -> rule6))] Anne is round.[(triple6 OR ((triple4 triple3) -> rule4))] Anne is white.[(triple7 OR ((triple6) -> rule2) OR ((triple6) -> rule3) OR ((((triple4 triple3) -> rule4)) -> rule2) OR ((((triple4 triple3) -> rule4)) -> rule3))] Charlie is blue.[(triple8 OR ((triple14) -> rule7) OR ((triple13 triple9) -> rule1) OR ((triple14 triple9) -> rule8) OR ((((triple13) -> rule3)) -> rule7) OR ((((triple13) -> rule3) triple9) -> rule8) OR ((((triple11 triple10) -> rule4) triple9) -> rule1) OR ((((((triple11 triple10) -> rule4)) -> rule3)) -> rule7) OR ((((((triple11 triple10) -> rule4)) -> rule3) triple9) -> rule8))] Charlie is cold.[(triple9 OR ((triple8 triple11) -> rule5) OR ((((triple14) -> rule7) triple11) -> rule5) OR ((((((triple13) -> rule3)) -> rule7) triple11) -> rule5) OR ((((((((triple11 triple10) -> rule4)) -> rule3)) -> rule7) triple11) -> rule5))] Charlie is green.[(triple10)] Charlie is quiet.[(triple11)] Charlie is red.[(triple12 OR ((triple13 triple8) -> rule6) OR ((triple13 ((triple14) -> rule7)) -> rule6) OR ((triple13 ((triple13 triple9) -> rule1)) -> rule6) OR ((triple13 ((triple14 triple9) -> rule8)) -> rule6) OR ((((triple11 triple10) -> rule4) triple8) -> rule6) OR ((((triple11 triple10) -> rule4) ((triple14) -> rule7)) -> rule6) OR ((((triple11 triple10) -> rule4) ((triple13 triple9) -> rule1)) -> rule6) OR ((((triple11 triple10) -> rule4) ((triple14 triple9) -> rule8)) -> rule6) OR ((triple13 ((((triple13) -> rule3)) -> rule7)) -> rule6) OR ((triple13 ((((triple13) -> rule3) triple9) -> rule8)) -> rule6) OR ((triple13 ((((triple11 triple10) -> rule4) triple9) -> rule1)) -> rule6) OR ((((triple11 triple10) -> rule4) ((((triple13) -> rule3)) -> rule7)) -> rule6) OR ((((triple11 triple10) -> rule4) ((((triple13) -> rule3) triple9) -> rule8)) -> rule6) OR ((((triple11 triple10) -> rule4) ((((triple11 triple10) -> rule4) triple9) -> rule1)) -> rule6) OR ((triple13 ((((((triple11 triple10) -> rule4)) -> rule3)) -> rule7)) -> rule6) OR ((triple13 ((((((triple11 triple10) -> rule4)) -> rule3) triple9) -> rule8)) -> rule6) OR ((((triple11 triple10) -> rule4) ((((((triple11 triple10) -> rule4)) -> rule3)) -> rule7)) -> rule6) OR ((((triple11 triple10) -> rule4) ((((((triple11 triple10) -> rule4)) -> rule3) triple9) -> rule8)) -> rule6))] Charlie is round.[(triple13 OR ((triple11 triple10) -> rule4))] Charlie is white.[(triple14 OR ((triple13) -> rule3) OR ((((triple11 triple10) -> rule4)) -> rule3))] Gary is green.[(triple15)] Gary is quiet.[(triple16)] @1: Gary is round.[(((triple16 triple15) -> rule4))] @2: Gary is white.[(((((triple16 triple15) -> rule4)) -> rule3))] @3: Gary is blue.[(((((((triple16 triple15) -> rule4)) -> rule3)) -> rule7))] @4: Gary is cold.[(((((((((triple16 triple15) -> rule4)) -> rule3)) -> rule7) triple16) -> rule5))] Gary is red.[(((((triple16 triple15) -> rule4) ((((((triple16 triple15) -> rule4)) -> rule3)) -> rule7)) -> rule6))]