Anne is furry. Anne is nice. Anne is quiet. Anne is rough. Anne is smart. Anne is white. Anne is young. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. If someone is quiet then they are white. If Charlie is white and Charlie is furry then Charlie is nice. Young, nice people are quiet. If Anne is nice and Anne is white then Anne is smart. All smart people are white. Smart, white people are rough. If Anne is quiet and Anne is furry then Anne is white. If someone is quiet and white then they are rough.
Charlie is not white.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3 OR ((triple7 triple2) -> rule3))] Anne is rough.[(triple4 OR ((triple3 triple6) -> rule8) OR ((triple5 triple6) -> rule6) OR ((triple3 ((triple3) -> rule1)) -> rule8) OR ((triple3 ((triple5) -> rule5)) -> rule8) OR ((triple3 ((triple3 triple1) -> rule7)) -> rule8) OR ((triple5 ((triple3) -> rule1)) -> rule6) OR ((triple5 ((triple5) -> rule5)) -> rule6) OR ((triple5 ((triple3 triple1) -> rule7)) -> rule6) OR ((((triple2 triple6) -> rule4) triple6) -> rule6) OR ((((triple7 triple2) -> rule3) triple6) -> rule8) OR ((((triple2 triple6) -> rule4) ((triple3) -> rule1)) -> rule6) OR ((((triple2 triple6) -> rule4) ((triple5) -> rule5)) -> rule6) OR ((((triple2 triple6) -> rule4) ((triple3 triple1) -> rule7)) -> rule6) OR ((((triple7 triple2) -> rule3) ((triple3) -> rule1)) -> rule8) OR ((((triple7 triple2) -> rule3) ((triple5) -> rule5)) -> rule8) OR ((((triple7 triple2) -> rule3) ((triple3 triple1) -> rule7)) -> rule8) OR ((triple3 ((((triple7 triple2) -> rule3)) -> rule1)) -> rule8) OR ((triple3 ((((triple7 triple2) -> rule3) triple1) -> rule7)) -> rule8) OR ((triple5 ((((triple7 triple2) -> rule3)) -> rule1)) -> rule6) OR ((triple5 ((((triple7 triple2) -> rule3) triple1) -> rule7)) -> rule6) OR ((((triple2 ((triple3) -> rule1)) -> rule4) triple6) -> rule6) OR ((((triple2 ((triple3 triple1) -> rule7)) -> rule4) triple6) -> rule6) OR ((((triple2 triple6) -> rule4) ((((triple7 triple2) -> rule3)) -> rule1)) -> rule6) OR ((((triple2 triple6) -> rule4) ((((triple7 triple2) -> rule3) triple1) -> rule7)) -> rule6) OR ((((triple2 ((triple3) -> rule1)) -> rule4) ((triple3) -> rule1)) -> rule6) OR ((((triple2 ((triple3) -> rule1)) -> rule4) ((triple5) -> rule5)) -> rule6) OR ((((triple2 ((triple3) -> rule1)) -> rule4) ((triple3 triple1) -> rule7)) -> rule6) OR ((((triple2 ((triple3 triple1) -> rule7)) -> rule4) ((triple3) -> rule1)) -> rule6) OR ((((triple2 ((triple3 triple1) -> rule7)) -> rule4) ((triple5) -> rule5)) -> rule6) OR ((((triple2 ((triple3 triple1) -> rule7)) -> rule4) ((triple3 triple1) -> rule7)) -> rule6) OR ((((triple7 triple2) -> rule3) ((((triple7 triple2) -> rule3)) -> rule1)) -> rule8) OR ((((triple7 triple2) -> rule3) ((((triple7 triple2) -> rule3) triple1) -> rule7)) -> rule8) OR ((((triple2 ((triple3) -> rule1)) -> rule4) ((((triple7 triple2) -> rule3)) -> rule1)) -> rule6) OR ((((triple2 ((triple3) -> rule1)) -> rule4) ((((triple7 triple2) -> rule3) triple1) -> rule7)) -> rule6) OR ((((triple2 ((triple3 triple1) -> rule7)) -> rule4) ((((triple7 triple2) -> rule3)) -> rule1)) -> rule6) OR ((((triple2 ((triple3 triple1) -> rule7)) -> rule4) ((((triple7 triple2) -> rule3) triple1) -> rule7)) -> rule6) OR ((((triple2 ((((triple7 triple2) -> rule3)) -> rule1)) -> rule4) triple6) -> rule6) OR ((((triple2 ((((triple7 triple2) -> rule3) triple1) -> rule7)) -> rule4) triple6) -> rule6) OR ((((triple2 ((((triple7 triple2) -> rule3)) -> rule1)) -> rule4) ((triple3) -> rule1)) -> rule6) OR ((((triple2 ((((triple7 triple2) -> rule3)) -> rule1)) -> rule4) ((triple5) -> rule5)) -> rule6) OR ((((triple2 ((((triple7 triple2) -> rule3)) -> rule1)) -> rule4) ((triple3 triple1) -> rule7)) -> rule6) OR ((((triple2 ((((triple7 triple2) -> rule3) triple1) -> rule7)) -> rule4) ((triple3) -> rule1)) -> rule6) OR ((((triple2 ((((triple7 triple2) -> rule3) triple1) -> rule7)) -> rule4) ((triple5) -> rule5)) -> rule6) OR ((((triple2 ((((triple7 triple2) -> rule3) triple1) -> rule7)) -> rule4) ((triple3 triple1) -> rule7)) -> rule6) OR ((((triple2 ((((triple7 triple2) -> rule3)) -> rule1)) -> rule4) ((((triple7 triple2) -> rule3)) -> rule1)) -> rule6) OR ((((triple2 ((((triple7 triple2) -> rule3)) -> rule1)) -> rule4) ((((triple7 triple2) -> rule3) triple1) -> rule7)) -> rule6) OR ((((triple2 ((((triple7 triple2) -> rule3) triple1) -> rule7)) -> rule4) ((((triple7 triple2) -> rule3)) -> rule1)) -> rule6) OR ((((triple2 ((((triple7 triple2) -> rule3) triple1) -> rule7)) -> rule4) ((((triple7 triple2) -> rule3) triple1) -> rule7)) -> rule6))] Anne is smart.[(triple5 OR ((triple2 triple6) -> rule4) OR ((triple2 ((triple3) -> rule1)) -> rule4) OR ((triple2 ((triple3 triple1) -> rule7)) -> rule4) OR ((triple2 ((((triple7 triple2) -> rule3)) -> rule1)) -> rule4) OR ((triple2 ((((triple7 triple2) -> rule3) triple1) -> rule7)) -> rule4))] Anne is white.[(triple6 OR ((triple3) -> rule1) OR ((triple5) -> rule5) OR ((triple3 triple1) -> rule7) OR ((((triple7 triple2) -> rule3)) -> rule1) OR ((((triple7 triple2) -> rule3) triple1) -> rule7))] Anne is young.[(triple7)] Charlie is furry.[(triple8)] Charlie is nice.[(triple9 OR ((triple13 triple8) -> rule2) OR ((((triple10) -> rule1) triple8) -> rule2) OR ((((triple12) -> rule5) triple8) -> rule2))] Charlie is quiet.[(triple10 OR ((triple14 triple9) -> rule3) OR ((triple14 ((triple13 triple8) -> rule2)) -> rule3) OR ((triple14 ((((triple12) -> rule5) triple8) -> rule2)) -> rule3))] Charlie is rough.[(triple11 OR ((triple10 triple13) -> rule8) OR ((triple12 triple13) -> rule6) OR ((triple10 ((triple10) -> rule1)) -> rule8) OR ((triple10 ((triple12) -> rule5)) -> rule8) OR ((triple12 ((triple10) -> rule1)) -> rule6) OR ((triple12 ((triple12) -> rule5)) -> rule6) OR ((((triple14 triple9) -> rule3) triple13) -> rule8) OR ((((triple14 triple9) -> rule3) ((triple10) -> rule1)) -> rule8) OR ((((triple14 triple9) -> rule3) ((triple12) -> rule5)) -> rule8) OR ((triple10 ((((triple14 triple9) -> rule3)) -> rule1)) -> rule8) OR ((triple12 ((((triple14 triple9) -> rule3)) -> rule1)) -> rule6) OR ((((triple14 ((triple13 triple8) -> rule2)) -> rule3) triple13) -> rule8) OR ((((triple14 triple9) -> rule3) ((((triple14 triple9) -> rule3)) -> rule1)) -> rule8) OR ((((triple14 ((triple13 triple8) -> rule2)) -> rule3) ((triple10) -> rule1)) -> rule8) OR ((((triple14 ((triple13 triple8) -> rule2)) -> rule3) ((triple12) -> rule5)) -> rule8) OR ((((triple14 ((triple13 triple8) -> rule2)) -> rule3) ((((triple14 triple9) -> rule3)) -> rule1)) -> rule8) OR ((((triple14 ((((triple12) -> rule5) triple8) -> rule2)) -> rule3) triple13) -> rule8) OR ((((triple14 ((((triple12) -> rule5) triple8) -> rule2)) -> rule3) ((triple10) -> rule1)) -> rule8) OR ((((triple14 ((((triple12) -> rule5) triple8) -> rule2)) -> rule3) ((triple12) -> rule5)) -> rule8) OR ((((triple14 ((((triple12) -> rule5) triple8) -> rule2)) -> rule3) ((((triple14 triple9) -> rule3)) -> rule1)) -> rule8))] Charlie is smart.[(triple12)] Charlie is white.[(triple13 OR ((triple10) -> rule1) OR ((triple12) -> rule5) OR ((((triple14 triple9) -> rule3)) -> rule1))] Charlie is young.[(triple14)]