Bob is furry. Bob is green. Bob is kind. Bob is red. Bob is round. Bob is white. Bob is young. Dave is furry. Dave is green. Dave is kind. Dave is red. Dave is round. Dave is white. Dave is young. All kind, green things are white. If Dave is round then Dave is young. If something is red then it is kind. If Bob is white then Bob is green. Kind, furry things are young. White things are round. If something is kind then it is round. If something is kind then it is red.
Dave is not red.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((triple6) -> rule4))] Bob is kind.[(triple3 OR ((triple4) -> rule3))] Bob is red.[(triple4 OR ((triple3) -> rule8))] Bob is round.[(triple5 OR ((triple3) -> rule7) OR ((triple6) -> rule6) OR ((((triple4) -> rule3)) -> rule7) OR ((((triple3 triple2) -> rule1)) -> rule6) OR ((((((triple4) -> rule3) triple2) -> rule1)) -> rule6))] Bob is white.[(triple6 OR ((triple3 triple2) -> rule1) OR ((((triple4) -> rule3) triple2) -> rule1))] Bob is young.[(triple7 OR ((triple3 triple1) -> rule5) OR ((((triple4) -> rule3) triple1) -> rule5))] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is kind.[(triple10 OR ((triple11) -> rule3))] Dave is red.[(triple11 OR ((triple10) -> rule8))] Dave is round.[(triple12 OR ((triple10) -> rule7) OR ((triple13) -> rule6) OR ((((triple11) -> rule3)) -> rule7) OR ((((triple10 triple9) -> rule1)) -> rule6) OR ((((((triple11) -> rule3) triple9) -> rule1)) -> rule6))] Dave is white.[(triple13 OR ((triple10 triple9) -> rule1) OR ((((triple11) -> rule3) triple9) -> rule1))] Dave is young.[(triple14 OR ((triple12) -> rule2) OR ((triple10 triple8) -> rule5) OR ((((triple10) -> rule7)) -> rule2) OR ((((triple13) -> rule6)) -> rule2) OR ((((triple11) -> rule3) triple8) -> rule5) OR ((((((triple11) -> rule3)) -> rule7)) -> rule2) OR ((((((triple10 triple9) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple11) -> rule3) triple9) -> rule1)) -> rule6)) -> rule2))]