Bob is not big. Bob is nice. Charlie is furry. Charlie is kind. Charlie is white. Charlie is young. Dave is big. Dave is kind. Dave is round. Dave is white. All nice people are not kind. If Bob is white then Bob is big.
Bob is not furry.
@0: Bob is nice.[(triple2)] Bob is not big.[(triple1)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Dave is big.[(triple7)] Dave is kind.[(triple8)] Dave is round.[(triple9)] Dave is white.[(triple10)] @1: Bob is not kind.[(((triple2) -> rule1))]