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