Anne is blue. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is smart. If something is red then it is green. Rough things are kind. If Anne is blue then Anne is rough. If something is blue then it is kind. All rough things are red. Kind, green things are smart. If something is rough and smart then it is blue. If something is smart then it is quiet.
Anne is blue.
@0: Anne is blue.[(triple1 OR ((triple6 triple7) -> rule7) OR ((triple6 ((triple3 triple2) -> rule6)) -> rule7) OR ((triple6 ((triple3 ((triple5) -> rule1)) -> rule6)) -> rule7) OR ((triple6 ((((triple6) -> rule2) triple2) -> rule6)) -> rule7) OR ((triple6 ((((triple6) -> rule2) ((triple5) -> rule1)) -> rule6)) -> rule7) OR ((triple6 ((triple3 ((((triple6) -> rule5)) -> rule1)) -> rule6)) -> rule7) OR ((triple6 ((((triple6) -> rule2) ((((triple6) -> rule5)) -> rule1)) -> rule6)) -> rule7))] Anne is green.[(triple2 OR ((triple5) -> rule1) OR ((((triple6) -> rule5)) -> rule1) OR ((((((triple1) -> rule3)) -> rule5)) -> rule1))] Anne is kind.[(triple3 OR ((triple1) -> rule4) OR ((triple6) -> rule2) OR ((((triple1) -> rule3)) -> rule2) OR ((((triple6 triple7) -> rule7)) -> rule4))] Anne is quiet.[(triple4 OR ((triple7) -> rule8) OR ((((triple3 triple2) -> rule6)) -> rule8) OR ((((triple3 ((triple5) -> rule1)) -> rule6)) -> rule8) OR ((((((triple1) -> rule4) triple2) -> rule6)) -> rule8) OR ((((((triple6) -> rule2) triple2) -> rule6)) -> rule8) OR ((((((triple1) -> rule4) ((triple5) -> rule1)) -> rule6)) -> rule8) OR ((((((triple6) -> rule2) ((triple5) -> rule1)) -> rule6)) -> rule8) OR ((((triple3 ((((triple6) -> rule5)) -> rule1)) -> rule6)) -> rule8) OR ((((((((triple1) -> rule3)) -> rule2) triple2) -> rule6)) -> rule8) OR ((((((triple1) -> rule4) ((((triple6) -> rule5)) -> rule1)) -> rule6)) -> rule8) OR ((((((triple6) -> rule2) ((((triple6) -> rule5)) -> rule1)) -> rule6)) -> rule8) OR ((((((((triple1) -> rule3)) -> rule2) ((triple5) -> rule1)) -> rule6)) -> rule8) OR ((((((((triple1) -> rule3)) -> rule2) ((((triple6) -> rule5)) -> rule1)) -> rule6)) -> rule8) OR ((((triple3 ((((((triple1) -> rule3)) -> rule5)) -> rule1)) -> rule6)) -> rule8) OR ((((((triple1) -> rule4) ((((((triple1) -> rule3)) -> rule5)) -> rule1)) -> rule6)) -> rule8) OR ((((((triple6) -> rule2) ((((((triple1) -> rule3)) -> rule5)) -> rule1)) -> rule6)) -> rule8) OR ((((((((triple1) -> rule3)) -> rule2) ((((((triple1) -> rule3)) -> rule5)) -> rule1)) -> rule6)) -> rule8))] Anne is red.[(triple5 OR ((triple6) -> rule5) OR ((((triple1) -> rule3)) -> rule5))] Anne is rough.[(triple6 OR ((triple1) -> rule3))] Anne is smart.[(triple7 OR ((triple3 triple2) -> rule6) OR ((triple3 ((triple5) -> rule1)) -> rule6) OR ((((triple1) -> rule4) triple2) -> rule6) OR ((((triple6) -> rule2) triple2) -> rule6) OR ((((triple1) -> rule4) ((triple5) -> rule1)) -> rule6) OR ((((triple6) -> rule2) ((triple5) -> rule1)) -> rule6) OR ((triple3 ((((triple6) -> rule5)) -> rule1)) -> rule6) OR ((((((triple1) -> rule3)) -> rule2) triple2) -> rule6) OR ((((triple1) -> rule4) ((((triple6) -> rule5)) -> rule1)) -> rule6) OR ((((triple6) -> rule2) ((((triple6) -> rule5)) -> rule1)) -> rule6) OR ((((((triple1) -> rule3)) -> rule2) ((triple5) -> rule1)) -> rule6) OR ((((((triple1) -> rule3)) -> rule2) ((((triple6) -> rule5)) -> rule1)) -> rule6) OR ((triple3 ((((((triple1) -> rule3)) -> rule5)) -> rule1)) -> rule6) OR ((((triple1) -> rule4) ((((((triple1) -> rule3)) -> rule5)) -> rule1)) -> rule6) OR ((((triple6) -> rule2) ((((((triple1) -> rule3)) -> rule5)) -> rule1)) -> rule6) OR ((((((triple1) -> rule3)) -> rule2) ((((((triple1) -> rule3)) -> rule5)) -> rule1)) -> rule6))]