Dave is blue. Dave is cold. Dave is kind. Dave is rough. Dave is round. Dave is smart. Dave is young. All kind things are rough. If Dave is rough and Dave is cold then Dave is kind. If Dave is rough then Dave is cold. If something is rough and round then it is smart. Young things are round. If something is kind then it is blue. All kind things are cold. If something is kind and cold then it is young.
Dave is not smart.
@0: Dave is blue.[(triple1 OR ((triple3) -> rule6) OR ((((triple4 triple2) -> rule2)) -> rule6) OR ((((triple4 ((triple4) -> rule3)) -> rule2)) -> rule6))] Dave is cold.[(triple2 OR ((triple3) -> rule7) OR ((triple4) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] Dave is kind.[(triple3 OR ((triple4 triple2) -> rule2) OR ((triple4 ((triple4) -> rule3)) -> rule2))] Dave is rough.[(triple4 OR ((triple3) -> rule1))] Dave is round.[(triple5 OR ((triple7) -> rule5) OR ((((triple3 triple2) -> rule8)) -> rule5) OR ((((triple3 ((triple3) -> rule7)) -> rule8)) -> rule5) OR ((((triple3 ((triple4) -> rule3)) -> rule8)) -> rule5) OR ((((((triple4 triple2) -> rule2) triple2) -> rule8)) -> rule5) OR ((((((triple4 triple2) -> rule2) ((triple3) -> rule7)) -> rule8)) -> rule5) OR ((((((triple4 triple2) -> rule2) ((triple4) -> rule3)) -> rule8)) -> rule5) OR ((((triple3 ((((triple3) -> rule1)) -> rule3)) -> rule8)) -> rule5) OR ((((((triple4 ((triple4) -> rule3)) -> rule2) triple2) -> rule8)) -> rule5) OR ((((((triple4 triple2) -> rule2) ((((triple3) -> rule1)) -> rule3)) -> rule8)) -> rule5) OR ((((((triple4 ((triple4) -> rule3)) -> rule2) ((triple3) -> rule7)) -> rule8)) -> rule5) OR ((((((triple4 ((triple4) -> rule3)) -> rule2) ((triple4) -> rule3)) -> rule8)) -> rule5) OR ((((((triple4 ((triple4) -> rule3)) -> rule2) ((((triple3) -> rule1)) -> rule3)) -> rule8)) -> rule5))] Dave is smart.[(triple6 OR ((triple4 triple5) -> rule4) OR ((triple4 ((triple7) -> rule5)) -> rule4) OR ((((triple3) -> rule1) triple5) -> rule4) OR ((((triple3) -> rule1) ((triple7) -> rule5)) -> rule4) OR ((triple4 ((((triple3 triple2) -> rule8)) -> rule5)) -> rule4) OR ((((triple3) -> rule1) ((((triple3 triple2) -> rule8)) -> rule5)) -> rule4) OR ((triple4 ((((triple3 ((triple3) -> rule7)) -> rule8)) -> rule5)) -> rule4) OR ((triple4 ((((triple3 ((triple4) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((triple4 ((((((triple4 triple2) -> rule2) triple2) -> rule8)) -> rule5)) -> rule4) OR ((triple4 ((((((triple4 triple2) -> rule2) ((triple3) -> rule7)) -> rule8)) -> rule5)) -> rule4) OR ((triple4 ((((((triple4 triple2) -> rule2) ((triple4) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((((triple3) -> rule1) ((((triple3 ((triple3) -> rule7)) -> rule8)) -> rule5)) -> rule4) OR ((((triple3) -> rule1) ((((triple3 ((triple4) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((((triple3) -> rule1) ((((((triple4 triple2) -> rule2) triple2) -> rule8)) -> rule5)) -> rule4) OR ((((triple3) -> rule1) ((((((triple4 triple2) -> rule2) ((triple3) -> rule7)) -> rule8)) -> rule5)) -> rule4) OR ((((triple3) -> rule1) ((((((triple4 triple2) -> rule2) ((triple4) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((triple4 ((((triple3 ((((triple3) -> rule1)) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((triple4 ((((((triple4 ((triple4) -> rule3)) -> rule2) triple2) -> rule8)) -> rule5)) -> rule4) OR ((triple4 ((((((triple4 triple2) -> rule2) ((((triple3) -> rule1)) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((triple4 ((((((triple4 ((triple4) -> rule3)) -> rule2) ((triple3) -> rule7)) -> rule8)) -> rule5)) -> rule4) OR ((triple4 ((((((triple4 ((triple4) -> rule3)) -> rule2) ((triple4) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((((triple3) -> rule1) ((((triple3 ((((triple3) -> rule1)) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((((triple3) -> rule1) ((((((triple4 ((triple4) -> rule3)) -> rule2) triple2) -> rule8)) -> rule5)) -> rule4) OR ((triple4 ((((((triple4 ((triple4) -> rule3)) -> rule2) ((((triple3) -> rule1)) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((((triple3) -> rule1) ((((((triple4 triple2) -> rule2) ((((triple3) -> rule1)) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((((triple3) -> rule1) ((((((triple4 ((triple4) -> rule3)) -> rule2) ((triple3) -> rule7)) -> rule8)) -> rule5)) -> rule4) OR ((((triple3) -> rule1) ((((((triple4 ((triple4) -> rule3)) -> rule2) ((triple4) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((((triple3) -> rule1) ((((((triple4 ((triple4) -> rule3)) -> rule2) ((((triple3) -> rule1)) -> rule3)) -> rule8)) -> rule5)) -> rule4))] Dave is young.[(triple7 OR ((triple3 triple2) -> rule8) OR ((triple3 ((triple3) -> rule7)) -> rule8) OR ((triple3 ((triple4) -> rule3)) -> rule8) OR ((((triple4 triple2) -> rule2) triple2) -> rule8) OR ((((triple4 triple2) -> rule2) ((triple3) -> rule7)) -> rule8) OR ((((triple4 triple2) -> rule2) ((triple4) -> rule3)) -> rule8) OR ((triple3 ((((triple3) -> rule1)) -> rule3)) -> rule8) OR ((((triple4 ((triple4) -> rule3)) -> rule2) triple2) -> rule8) OR ((((triple4 triple2) -> rule2) ((((triple3) -> rule1)) -> rule3)) -> rule8) OR ((((triple4 ((triple4) -> rule3)) -> rule2) ((triple3) -> rule7)) -> rule8) OR ((((triple4 ((triple4) -> rule3)) -> rule2) ((triple4) -> rule3)) -> rule8) OR ((((triple4 ((triple4) -> rule3)) -> rule2) ((((triple3) -> rule1)) -> rule3)) -> rule8))]