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