Charlie is blue. Charlie is not furry. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Dave is blue. Dave is not furry. Dave is not nice. Dave is red. Dave is not round. Dave is smart. Dave is white. If Dave is furry then Dave is nice. If someone is furry then they are blue. If someone is round and blue then they are white. If someone is round and not blue then they are nice. If someone is white and furry then they are red. If someone is blue then they are red. If someone is furry and not nice then they are red. If Dave is round and Dave is red then Dave is not white.
Charlie is not smart.
@0: Charlie is blue.[(triple1)] Charlie is nice.[(triple3)] Charlie is not furry.[(triple2)] Charlie is red.[(triple4 OR ((triple1) -> rule6))] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7 OR ((triple5 triple1) -> rule3))] Dave is blue.[(triple8)] Dave is not furry.[(triple9)] Dave is not nice.[(triple10)] Dave is not round.[(triple12)] Dave is red.[(triple11 OR ((triple8) -> rule6))] Dave is smart.[(triple13)] Dave is white.[(triple14)]