Bob is big. Bob is not kind. Bob is smart. Bob is not white. Bob is not young. Dave is big. Dave is furry. Dave is kind. Dave is nice. Dave is smart. Dave is white. Dave is young. If something is white then it is furry. Furry, young things are kind. All young, kind things are white. If something is big and not white then it is smart. Furry things are nice. If something is kind and not smart then it is not nice.
Dave is nice.
@0: Bob is big.[(triple1)] Bob is not kind.[(triple2)] Bob is not white.[(triple4)] Bob is not young.[(triple5)] Bob is smart.[(triple3 OR ((triple1 triple4) -> rule4))] Dave is big.[(triple6)] Dave is furry.[(triple7 OR ((triple11) -> rule1) OR ((((triple12 triple8) -> rule3)) -> rule1))] Dave is kind.[(triple8 OR ((triple7 triple12) -> rule2) OR ((((triple11) -> rule1) triple12) -> rule2))] Dave is nice.[(triple9 OR ((triple7) -> rule5) OR ((((triple11) -> rule1)) -> rule5) OR ((((((triple12 triple8) -> rule3)) -> rule1)) -> rule5))] Dave is smart.[(triple10)] Dave is white.[(triple11 OR ((triple12 triple8) -> rule3) OR ((triple12 ((triple7 triple12) -> rule2)) -> rule3))] Dave is young.[(triple12)]