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