Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is red. Dave is white. If Dave is kind then Dave is cold. If Dave is red and Dave is cold then Dave is kind. If Dave is big and Dave is blue then Dave is green. White things are cold. If Dave is green then Dave is red. Cold things are white. All red things are cold. Kind, cold things are big.
Dave is not kind.
@0: Dave is big.[(triple1 OR ((triple5 triple3) -> rule8) OR ((triple5 ((triple5) -> rule1)) -> rule8) OR ((triple5 ((triple6) -> rule7)) -> rule8) OR ((triple5 ((triple7) -> rule4)) -> rule8) OR ((((triple6 triple3) -> rule2) triple3) -> rule8) OR ((((triple6 triple3) -> rule2) ((triple5) -> rule1)) -> rule8) OR ((((triple6 triple3) -> rule2) ((triple6) -> rule7)) -> rule8) OR ((((triple6 triple3) -> rule2) ((triple7) -> rule4)) -> rule8) OR ((triple5 ((((triple4) -> rule5)) -> rule7)) -> rule8) OR ((((triple6 ((triple6) -> rule7)) -> rule2) triple3) -> rule8) OR ((((triple6 ((triple7) -> rule4)) -> rule2) triple3) -> rule8) OR ((((((triple4) -> rule5) triple3) -> rule2) triple3) -> rule8) OR ((((triple6 triple3) -> rule2) ((((triple4) -> rule5)) -> rule7)) -> rule8) OR ((((triple6 ((triple6) -> rule7)) -> rule2) ((triple5) -> rule1)) -> rule8) OR ((((triple6 ((triple6) -> rule7)) -> rule2) ((triple6) -> rule7)) -> rule8) OR ((((triple6 ((triple6) -> rule7)) -> rule2) ((triple7) -> rule4)) -> rule8) OR ((((triple6 ((triple7) -> rule4)) -> rule2) ((triple5) -> rule1)) -> rule8) OR ((((triple6 ((triple7) -> rule4)) -> rule2) ((triple6) -> rule7)) -> rule8) OR ((((triple6 ((triple7) -> rule4)) -> rule2) ((triple7) -> rule4)) -> rule8) OR ((((((triple4) -> rule5) triple3) -> rule2) ((triple5) -> rule1)) -> rule8) OR ((((((triple4) -> rule5) triple3) -> rule2) ((triple6) -> rule7)) -> rule8) OR ((((((triple4) -> rule5) triple3) -> rule2) ((triple7) -> rule4)) -> rule8) OR ((((((triple4) -> rule5) ((triple6) -> rule7)) -> rule2) triple3) -> rule8) OR ((((((triple4) -> rule5) ((triple7) -> rule4)) -> rule2) triple3) -> rule8) OR ((((triple6 ((triple6) -> rule7)) -> rule2) ((((triple4) -> rule5)) -> rule7)) -> rule8) OR ((((triple6 ((triple7) -> rule4)) -> rule2) ((((triple4) -> rule5)) -> rule7)) -> rule8) OR ((((((triple4) -> rule5) triple3) -> rule2) ((((triple4) -> rule5)) -> rule7)) -> rule8) OR ((((((triple4) -> rule5) ((triple6) -> rule7)) -> rule2) ((triple5) -> rule1)) -> rule8) OR ((((((triple4) -> rule5) ((triple6) -> rule7)) -> rule2) ((triple6) -> rule7)) -> rule8) OR ((((((triple4) -> rule5) ((triple6) -> rule7)) -> rule2) ((triple7) -> rule4)) -> rule8) OR ((((((triple4) -> rule5) ((triple7) -> rule4)) -> rule2) ((triple5) -> rule1)) -> rule8) OR ((((((triple4) -> rule5) ((triple7) -> rule4)) -> rule2) ((triple6) -> rule7)) -> rule8) OR ((((((triple4) -> rule5) ((triple7) -> rule4)) -> rule2) ((triple7) -> rule4)) -> rule8) OR ((((((triple4) -> rule5) ((triple6) -> rule7)) -> rule2) ((((triple4) -> rule5)) -> rule7)) -> rule8) OR ((((((triple4) -> rule5) ((triple7) -> rule4)) -> rule2) ((((triple4) -> rule5)) -> rule7)) -> rule8) OR ((((triple6 ((((triple4) -> rule5)) -> rule7)) -> rule2) triple3) -> rule8) OR ((((triple6 ((((triple4) -> rule5)) -> rule7)) -> rule2) ((triple5) -> rule1)) -> rule8) OR ((((triple6 ((((triple4) -> rule5)) -> rule7)) -> rule2) ((triple6) -> rule7)) -> rule8) OR ((((triple6 ((((triple4) -> rule5)) -> rule7)) -> rule2) ((triple7) -> rule4)) -> rule8) OR ((((((triple4) -> rule5) ((((triple4) -> rule5)) -> rule7)) -> rule2) triple3) -> rule8) OR ((((triple6 ((((triple4) -> rule5)) -> rule7)) -> rule2) ((((triple4) -> rule5)) -> rule7)) -> rule8) OR ((((((triple4) -> rule5) ((((triple4) -> rule5)) -> rule7)) -> rule2) ((triple5) -> rule1)) -> rule8) OR ((((((triple4) -> rule5) ((((triple4) -> rule5)) -> rule7)) -> rule2) ((triple6) -> rule7)) -> rule8) OR ((((((triple4) -> rule5) ((((triple4) -> rule5)) -> rule7)) -> rule2) ((triple7) -> rule4)) -> rule8) OR ((((((triple4) -> rule5) ((((triple4) -> rule5)) -> rule7)) -> rule2) ((((triple4) -> rule5)) -> rule7)) -> rule8))] Dave is blue.[(triple2)] Dave is cold.[(triple3 OR ((triple5) -> rule1) OR ((triple6) -> rule7) OR ((triple7) -> rule4) OR ((((triple4) -> rule5)) -> rule7) OR ((((((triple1 triple2) -> rule3)) -> rule5)) -> rule7))] Dave is green.[(triple4 OR ((triple1 triple2) -> rule3) OR ((((triple5 triple3) -> rule8) triple2) -> rule3) OR ((((triple5 ((triple5) -> rule1)) -> rule8) triple2) -> rule3) OR ((((triple5 ((triple6) -> rule7)) -> rule8) triple2) -> rule3) OR ((((triple5 ((triple7) -> rule4)) -> rule8) triple2) -> rule3) OR ((((((triple6 triple3) -> rule2) triple3) -> rule8) triple2) -> rule3) OR ((((((triple6 triple3) -> rule2) ((triple5) -> rule1)) -> rule8) triple2) -> rule3) OR ((((((triple6 triple3) -> rule2) ((triple6) -> rule7)) -> rule8) triple2) -> rule3) OR ((((((triple6 triple3) -> rule2) ((triple7) -> rule4)) -> rule8) triple2) -> rule3) OR ((((((triple6 ((triple6) -> rule7)) -> rule2) triple3) -> rule8) triple2) -> rule3) OR ((((((triple6 ((triple7) -> rule4)) -> rule2) triple3) -> rule8) triple2) -> rule3) OR ((((((triple6 ((triple6) -> rule7)) -> rule2) ((triple5) -> rule1)) -> rule8) triple2) -> rule3) OR ((((((triple6 ((triple6) -> rule7)) -> rule2) ((triple6) -> rule7)) -> rule8) triple2) -> rule3) OR ((((((triple6 ((triple6) -> rule7)) -> rule2) ((triple7) -> rule4)) -> rule8) triple2) -> rule3) OR ((((((triple6 ((triple7) -> rule4)) -> rule2) ((triple5) -> rule1)) -> rule8) triple2) -> rule3) OR ((((((triple6 ((triple7) -> rule4)) -> rule2) ((triple6) -> rule7)) -> rule8) triple2) -> rule3) OR ((((((triple6 ((triple7) -> rule4)) -> rule2) ((triple7) -> rule4)) -> rule8) triple2) -> rule3))] Dave is kind.[(triple5 OR ((triple6 triple3) -> rule2) OR ((triple6 ((triple6) -> rule7)) -> rule2) OR ((triple6 ((triple7) -> rule4)) -> rule2) OR ((((triple4) -> rule5) triple3) -> rule2) OR ((((triple4) -> rule5) ((triple6) -> rule7)) -> rule2) OR ((((triple4) -> rule5) ((triple7) -> rule4)) -> rule2) OR ((triple6 ((((triple4) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple2) -> rule3)) -> rule5) triple3) -> rule2) OR ((((triple4) -> rule5) ((((triple4) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple2) -> rule3)) -> rule5) ((triple6) -> rule7)) -> rule2) OR ((((((triple1 triple2) -> rule3)) -> rule5) ((triple7) -> rule4)) -> rule2) OR ((((((triple1 triple2) -> rule3)) -> rule5) ((((triple4) -> rule5)) -> rule7)) -> rule2) OR ((triple6 ((((((triple1 triple2) -> rule3)) -> rule5)) -> rule7)) -> rule2) OR ((((triple4) -> rule5) ((((((triple1 triple2) -> rule3)) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple2) -> rule3)) -> rule5) ((((((triple1 triple2) -> rule3)) -> rule5)) -> rule7)) -> rule2))] Dave is red.[(triple6 OR ((triple4) -> rule5) OR ((((triple1 triple2) -> rule3)) -> rule5) OR ((((((triple5 triple3) -> rule8) triple2) -> rule3)) -> rule5) OR ((((((triple5 ((triple5) -> rule1)) -> rule8) triple2) -> rule3)) -> rule5) OR ((((((triple5 ((triple7) -> rule4)) -> rule8) triple2) -> rule3)) -> rule5))] Dave is white.[(triple7 OR ((triple3) -> rule6) OR ((((triple5) -> rule1)) -> rule6) OR ((((triple6) -> rule7)) -> rule6) OR ((((((triple4) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple1 triple2) -> rule3)) -> rule5)) -> rule7)) -> rule6))]