Charlie is blue. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is rough. If someone is blue then they are quiet. If Charlie is quiet then Charlie is furry. All quiet, rough people are blue. If someone is rough and not blue then they are nice. All red, rough people are nice. If someone is quiet and not red then they are not nice. If someone is rough and quiet then they are nice. If someone is quiet and not nice then they are furry.
Dave is not nice.
@0: Charlie is blue.[(triple1 OR ((triple5 triple7) -> rule3))] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple5) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] Charlie is nice.[(triple4 OR ((triple6 triple7) -> rule5) OR ((triple7 triple5) -> rule7) OR ((triple7 ((triple1) -> rule1)) -> rule7))] Charlie is quiet.[(triple5 OR ((triple1) -> rule1))] Charlie is red.[(triple6)] Charlie is rough.[(triple7)] Dave is blue.[(triple8 OR ((triple12 triple14) -> rule3))] Dave is cold.[(triple9)] Dave is furry.[(triple10)] Dave is nice.[(triple11 OR ((triple13 triple14) -> rule5) OR ((triple14 triple12) -> rule7) OR ((triple14 ((triple8) -> rule1)) -> rule7))] Dave is quiet.[(triple12 OR ((triple8) -> rule1))] Dave is red.[(triple13)] Dave is rough.[(triple14)]