Dave is not big. Dave is not blue. Dave is furry. Dave is nice. Dave is not red. Dave is round. Dave is white. Gary is big. Gary is blue. Gary is not furry. Gary is nice. Gary is red. Gary is round. Gary is white. If someone is big then they are nice. White people are nice. If someone is round and not furry then they are nice. If Dave is blue and Dave is big then Dave is red. If Dave is furry then Dave is white. If someone is red and not blue then they are big. If someone is round and furry then they are white. If Gary is big and Gary is not furry then Gary is round.
Dave is not red.
@0: Dave is furry.[(triple3)] Dave is nice.[(triple4 OR ((triple7) -> rule2) OR ((((triple3) -> rule5)) -> rule2) OR ((((triple6 triple3) -> rule7)) -> rule2))] Dave is not big.[(triple1)] Dave is not blue.[(triple2)] Dave is not red.[(triple5)] Dave is round.[(triple6)] Dave is white.[(triple7 OR ((triple3) -> rule5) OR ((triple6 triple3) -> rule7))] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is nice.[(triple11 OR ((triple14) -> rule2) OR ((triple8) -> rule1) OR ((triple13 triple10) -> rule3) OR ((((triple8 triple10) -> rule8) triple10) -> rule3))] Gary is not furry.[(triple10)] Gary is red.[(triple12)] Gary is round.[(triple13 OR ((triple8 triple10) -> rule8))] Gary is white.[(triple14)]