Charlie is kind. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Dave is green. Dave is red. Dave is rough. Dave is smart. Dave is white. Smart, young people are red. Young, kind people are red. If Charlie is green and Charlie is young then Charlie is red. All kind, white people are young. All rough people are kind. All young people are kind. Red people are green. All young, green people are smart.
Charlie is not kind.
@0: Charlie is kind.[(triple1 OR ((triple3) -> rule5))] Charlie is red.[(triple2 OR ((triple4 ((triple1 triple5) -> rule4)) -> rule1) OR ((((triple1 triple5) -> rule4) triple1) -> rule2) OR ((((triple1 triple5) -> rule4) ((triple3) -> rule5)) -> rule2) OR ((triple4 ((((triple3) -> rule5) triple5) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) triple5) -> rule4) triple1) -> rule2) OR ((((((triple3) -> rule5) triple5) -> rule4) ((triple3) -> rule5)) -> rule2))] Charlie is rough.[(triple3)] Charlie is smart.[(triple4 OR ((((triple1 triple5) -> rule4) ((triple2) -> rule7)) -> rule8) OR ((((((triple3) -> rule5) triple5) -> rule4) ((triple2) -> rule7)) -> rule8) OR ((((triple1 triple5) -> rule4) ((((((triple1 triple5) -> rule4) triple1) -> rule2)) -> rule7)) -> rule8) OR ((((triple1 triple5) -> rule4) ((((((triple1 triple5) -> rule4) ((triple3) -> rule5)) -> rule2)) -> rule7)) -> rule8) OR ((((((triple3) -> rule5) triple5) -> rule4) ((((((triple1 triple5) -> rule4) triple1) -> rule2)) -> rule7)) -> rule8) OR ((((((triple3) -> rule5) triple5) -> rule4) ((((((triple1 triple5) -> rule4) ((triple3) -> rule5)) -> rule2)) -> rule7)) -> rule8) OR ((((triple1 triple5) -> rule4) ((((((((triple3) -> rule5) triple5) -> rule4) triple1) -> rule2)) -> rule7)) -> rule8) OR ((((triple1 triple5) -> rule4) ((((((((triple3) -> rule5) triple5) -> rule4) ((triple3) -> rule5)) -> rule2)) -> rule7)) -> rule8) OR ((((((triple3) -> rule5) triple5) -> rule4) ((((((((triple3) -> rule5) triple5) -> rule4) triple1) -> rule2)) -> rule7)) -> rule8) OR ((((((triple3) -> rule5) triple5) -> rule4) ((((((((triple3) -> rule5) triple5) -> rule4) ((triple3) -> rule5)) -> rule2)) -> rule7)) -> rule8))] Charlie is white.[(triple5)] Dave is green.[(triple6 OR ((triple7) -> rule7) OR ((((triple9 ((((triple8) -> rule5) triple10) -> rule4)) -> rule1)) -> rule7) OR ((((((((triple8) -> rule5) triple10) -> rule4) ((triple8) -> rule5)) -> rule2)) -> rule7))] Dave is red.[(triple7 OR ((triple9 ((((triple8) -> rule5) triple10) -> rule4)) -> rule1) OR ((((((triple8) -> rule5) triple10) -> rule4) ((triple8) -> rule5)) -> rule2) OR ((((((((triple8) -> rule5) triple10) -> rule4) triple6) -> rule8) ((((triple8) -> rule5) triple10) -> rule4)) -> rule1))] Dave is rough.[(triple8)] Dave is smart.[(triple9 OR ((((((triple8) -> rule5) triple10) -> rule4) triple6) -> rule8) OR ((((((triple8) -> rule5) triple10) -> rule4) ((triple7) -> rule7)) -> rule8) OR ((((((triple8) -> rule5) triple10) -> rule4) ((((((((triple8) -> rule5) triple10) -> rule4) ((triple8) -> rule5)) -> rule2)) -> rule7)) -> rule8))] Dave is white.[(triple10)] @1: Charlie is green.[(((triple2) -> rule7) OR ((((triple4 ((triple1 triple5) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 triple5) -> rule4) triple1) -> rule2)) -> rule7) OR ((((((triple1 triple5) -> rule4) ((triple3) -> rule5)) -> rule2)) -> rule7) OR ((((triple4 ((((triple3) -> rule5) triple5) -> rule4)) -> rule1)) -> rule7) OR ((((((((triple3) -> rule5) triple5) -> rule4) triple1) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) triple5) -> rule4) ((triple3) -> rule5)) -> rule2)) -> rule7))] Charlie is young.[(((triple1 triple5) -> rule4) OR ((((triple3) -> rule5) triple5) -> rule4))] Dave is kind.[(((triple8) -> rule5))] @2: Dave is young.[(((((triple8) -> rule5) triple10) -> rule4))]