Bob is not big. Bob is furry. Bob is green. Bob is rough. Bob is round. Bob is smart. Bob is not white. Dave is big. Dave is furry. Dave is green. Dave is rough. Dave is not round. Dave is not smart. Dave is white. Smart, white things are big. If Dave is white then Dave is big. If something is white and not big then it is round. Big, white things are not round. If something is big and smart then it is round. If something is white then it is furry. If something is round and rough then it is furry. If Dave is round and Dave is green then Dave is furry.
Bob is green.
@0: Bob is furry.[(triple2 OR ((triple5 triple4) -> rule7))] Bob is green.[(triple3)] Bob is not big.[(triple1)] Bob is not white.[(triple7)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Dave is big.[(triple8 OR ((triple14) -> rule2))] Dave is furry.[(triple9 OR ((triple14) -> rule6))] Dave is green.[(triple10)] Dave is not round.[(triple12 OR ((triple8 triple14) -> rule4) OR ((((triple14) -> rule2) triple14) -> rule4))] Dave is not smart.[(triple13)] Dave is rough.[(triple11)] Dave is white.[(triple14)]