Charlie is furry. Charlie is green. Charlie is kind. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Dave is red. Dave is smart. Dave is white. All rough, white things are kind. If something is smart then it is furry. Smart, kind things are white. All rough things are smart. All white things are rough. Furry things are white.
Charlie is kind.
@0: Charlie is furry.[(triple1 OR ((triple6) -> rule2) OR ((((triple5) -> rule4)) -> rule2) OR ((((((triple7) -> rule5)) -> rule4)) -> rule2))] Charlie is green.[(triple2)] Charlie is kind.[(triple3 OR ((triple5 triple7) -> rule1) OR ((triple5 ((triple1) -> rule6)) -> rule1) OR ((((triple7) -> rule5) triple7) -> rule1) OR ((((triple7) -> rule5) ((triple1) -> rule6)) -> rule1) OR ((triple5 ((((triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((triple1) -> rule6)) -> rule5) triple7) -> rule1) OR ((((triple7) -> rule5) ((((triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((triple1) -> rule6)) -> rule5) ((triple1) -> rule6)) -> rule1) OR ((((((triple1) -> rule6)) -> rule5) ((((triple6) -> rule2)) -> rule6)) -> rule1) OR ((triple5 ((((((triple5) -> rule4)) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple6) -> rule2)) -> rule6)) -> rule5) triple7) -> rule1) OR ((((triple7) -> rule5) ((((((triple5) -> rule4)) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple6) -> rule2)) -> rule6)) -> rule5) ((triple1) -> rule6)) -> rule1) OR ((((((triple1) -> rule6)) -> rule5) ((((((triple5) -> rule4)) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple6) -> rule2)) -> rule6)) -> rule5) ((((triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple6) -> rule2)) -> rule6)) -> rule5) ((((((triple5) -> rule4)) -> rule2)) -> rule6)) -> rule1))] Charlie is red.[(triple4)] Charlie is rough.[(triple5 OR ((triple7) -> rule5) OR ((((triple1) -> rule6)) -> rule5) OR ((((triple6 triple3) -> rule3)) -> rule5) OR ((((((triple6) -> rule2)) -> rule6)) -> rule5))] Charlie is smart.[(triple6 OR ((triple5) -> rule4) OR ((((triple7) -> rule5)) -> rule4) OR ((((((triple1) -> rule6)) -> rule5)) -> rule4))] Charlie is white.[(triple7 OR ((triple1) -> rule6) OR ((triple6 triple3) -> rule3) OR ((((triple6) -> rule2)) -> rule6) OR ((((triple5) -> rule4) triple3) -> rule3) OR ((((((triple5) -> rule4)) -> rule2)) -> rule6))] Dave is red.[(triple8)] Dave is smart.[(triple9 OR ((((triple10) -> rule5)) -> rule4))] Dave is white.[(triple10 OR ((((triple9) -> rule2)) -> rule6))] @1: Dave is furry.[(((triple9) -> rule2) OR ((((((triple10) -> rule5)) -> rule4)) -> rule2))] Dave is rough.[(((triple10) -> rule5) OR ((((((triple9) -> rule2)) -> rule6)) -> rule5))] @2: Dave is kind.[(((((triple10) -> rule5) triple10) -> rule1) OR ((((triple10) -> rule5) ((((triple9) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple9) -> rule2)) -> rule6)) -> rule5) triple10) -> rule1) OR ((((((((triple9) -> rule2)) -> rule6)) -> rule5) ((((triple9) -> rule2)) -> rule6)) -> rule1))]