Bob is nice. Bob is quiet. Bob is round. Bob is smart. Charlie is big. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is smart. Dave is big. Dave is furry. Dave is nice. Dave is quiet. Dave is round. Dave is white. If Bob is big then Bob is round. White people are furry. If someone is big and quiet then they are furry. If Bob is round then Bob is smart. All smart, round people are white. Round people are furry.
Bob is not round.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4 OR ((triple3) -> rule4))] Charlie is big.[(triple5)] Charlie is furry.[(triple6 OR ((triple9) -> rule6) OR ((triple5 triple8) -> rule3) OR ((((triple10 triple9) -> rule5)) -> rule2))] Charlie is nice.[(triple7)] Charlie is quiet.[(triple8)] Charlie is round.[(triple9)] Charlie is smart.[(triple10)] Dave is big.[(triple11)] Dave is furry.[(triple12 OR ((triple15) -> rule6) OR ((triple16) -> rule2) OR ((triple11 triple14) -> rule3))] Dave is nice.[(triple13)] Dave is quiet.[(triple14)] Dave is round.[(triple15)] Dave is white.[(triple16)] @1: Bob is furry.[(((triple3) -> rule6) OR ((((triple4 triple3) -> rule5)) -> rule2) OR ((((((triple3) -> rule4) triple3) -> rule5)) -> rule2))] Bob is white.[(((triple4 triple3) -> rule5) OR ((((triple3) -> rule4) triple3) -> rule5))] Charlie is white.[(((triple10 triple9) -> rule5))]