Bob is furry. Bob is red. Bob is smart. Bob is young. Charlie is furry. Charlie is kind. Charlie is red. Charlie is round. Charlie is white. Dave is furry. Dave is kind. Dave is round. Dave is smart. Dave is white. Dave is young. All round, white things are furry. If something is young and not smart then it is kind. All furry things are red.
Bob is not kind.
@0: Bob is furry.[(triple1)] Bob is red.[(triple2 OR ((triple1) -> rule3))] Bob is smart.[(triple3)] Bob is young.[(triple4)] Charlie is furry.[(triple5 OR ((triple8 triple9) -> rule1))] Charlie is kind.[(triple6)] Charlie is red.[(triple7 OR ((triple5) -> rule3) OR ((((triple8 triple9) -> rule1)) -> rule3))] Charlie is round.[(triple8)] Charlie is white.[(triple9)] Dave is furry.[(triple10 OR ((triple12 triple14) -> rule1))] Dave is kind.[(triple11)] Dave is round.[(triple12)] Dave is smart.[(triple13)] Dave is white.[(triple14)] Dave is young.[(triple15)] @1: Dave is red.[(((triple10) -> rule3) OR ((((triple12 triple14) -> rule1)) -> rule3))]