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