Bob is rough. Bob is smart. Charlie is blue. Charlie is kind. Charlie is rough. Charlie is round. Charlie is smart. Dave is cold. Dave is rough. Dave is round. Dave is smart. Harry is not blue. Harry is not kind. Harry is rough. Harry is smart. If someone is kind then they are cold. If someone is blue and not round then they are not cold. If Charlie is round and Charlie is not kind then Charlie is not rough. All round people are blue. If someone is furry then they are not blue. If Bob is furry then Bob is not smart.
Dave is furry.
@0: Bob is rough.[(triple1)] Bob is smart.[(triple2)] Charlie is blue.[(triple3 OR ((triple6) -> rule4))] Charlie is kind.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)] Dave is cold.[(triple8)] Dave is rough.[(triple9)] Dave is round.[(triple10)] Dave is smart.[(triple11)] Harry is not blue.[(triple12)] Harry is not kind.[(triple13)] Harry is rough.[(triple14)] Harry is smart.[(triple15)] @1: Charlie is cold.[(((triple4) -> rule1))] Dave is blue.[(((triple10) -> rule4))]