Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is red. Bob is smart. Bob is young. Dave is cold. Dave is furry. Dave is kind. Dave is quiet. Dave is red. Dave is smart. Dave is young. If someone is young and not furry then they are not smart. Smart people are kind. If someone is furry then they are quiet.
Dave is cold.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3 OR ((triple6) -> rule2))] Bob is quiet.[(triple4 OR ((triple2) -> rule3))] Bob is red.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)] Dave is cold.[(triple8)] Dave is furry.[(triple9)] Dave is kind.[(triple10 OR ((triple13) -> rule2))] Dave is quiet.[(triple11 OR ((triple9) -> rule3))] Dave is red.[(triple12)] Dave is smart.[(triple13)] Dave is young.[(triple14)]