Charlie is cold. Charlie is kind. Charlie is white. Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is white. Dave is young. If something is green and blue then it is white. If something is big and white then it is kind. Kind things are white. White things are big. All green things are cold. Kind things are blue. All green things are young. All big things are kind.
Dave is kind.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2 OR ((((triple3) -> rule4)) -> rule8) OR ((((triple3) -> rule4) triple3) -> rule2))] Charlie is white.[(triple3 OR ((triple2) -> rule3))] Dave is big.[(triple4 OR ((triple9) -> rule4) OR ((((triple8) -> rule3)) -> rule4) OR ((((triple7 triple5) -> rule1)) -> rule4) OR ((((triple7 ((triple8) -> rule6)) -> rule1)) -> rule4))] Dave is blue.[(triple5 OR ((triple8) -> rule6) OR ((((triple4) -> rule8)) -> rule6) OR ((((triple4 triple9) -> rule2)) -> rule6) OR ((((((triple9) -> rule4)) -> rule8)) -> rule6) OR ((((((triple9) -> rule4) triple9) -> rule2)) -> rule6))] Dave is cold.[(triple6 OR ((triple7) -> rule5))] Dave is green.[(triple7)] Dave is kind.[(triple8 OR ((triple4) -> rule8) OR ((triple4 triple9) -> rule2) OR ((((triple9) -> rule4)) -> rule8) OR ((triple4 ((triple7 triple5) -> rule1)) -> rule2) OR ((((triple9) -> rule4) triple9) -> rule2) OR ((((triple9) -> rule4) ((triple7 triple5) -> rule1)) -> rule2) OR ((((((triple7 triple5) -> rule1)) -> rule4)) -> rule8) OR ((((((triple7 triple5) -> rule1)) -> rule4) triple9) -> rule2) OR ((((((triple7 triple5) -> rule1)) -> rule4) ((triple7 triple5) -> rule1)) -> rule2))] Dave is white.[(triple9 OR ((triple8) -> rule3) OR ((triple7 triple5) -> rule1) OR ((((triple4) -> rule8)) -> rule3) OR ((triple7 ((triple8) -> rule6)) -> rule1) OR ((triple7 ((((triple4) -> rule8)) -> rule6)) -> rule1))] Dave is young.[(triple10 OR ((triple7) -> rule7))] @1: Charlie is big.[(((triple3) -> rule4) OR ((((triple2) -> rule3)) -> rule4))] Charlie is blue.[(((triple2) -> rule6) OR ((((((triple3) -> rule4)) -> rule8)) -> rule6) OR ((((((triple3) -> rule4) triple3) -> rule2)) -> rule6))]