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