Dave is blue. Dave is furry. Dave is kind. Dave is round. Dave is smart. Dave is white. Dave is young. All kind people are young. White people are blue. All smart people are furry. If someone is white then they are round. If Dave is blue and Dave is kind then Dave is smart. Blue people are young. If someone is round then they are smart. Smart, white people are round.
Dave is not blue.
@0: Dave is blue.[(triple1 OR ((triple6) -> rule2))] Dave is furry.[(triple2 OR ((triple5) -> rule3) OR ((((triple4) -> rule7)) -> rule3) OR ((((triple1 triple3) -> rule5)) -> rule3) OR ((((((triple6) -> rule4)) -> rule7)) -> rule3) OR ((((((triple6) -> rule2) triple3) -> rule5)) -> rule3))] Dave is kind.[(triple3)] Dave is round.[(triple4 OR ((triple6) -> rule4) OR ((triple5 triple6) -> rule8) OR ((((triple1 triple3) -> rule5) triple6) -> rule8) OR ((((((triple6) -> rule2) triple3) -> rule5) triple6) -> rule8))] Dave is smart.[(triple5 OR ((triple4) -> rule7) OR ((triple1 triple3) -> rule5) OR ((((triple6) -> rule4)) -> rule7) OR ((((triple6) -> rule2) triple3) -> rule5))] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple1) -> rule6) OR ((triple3) -> rule1) OR ((((triple6) -> rule2)) -> rule6))]