Bob is big. Bob is cold. Bob is nice. Bob is rough. Bob is round. Bob is white. Bob is young. Dave is big. Dave is cold. Dave is not nice. Dave is rough. Dave is round. Dave is not white. Dave is not young. Nice people are round.
Dave is not nice.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple3) -> rule1))] Bob is white.[(triple6)] Bob is young.[(triple7)] Dave is big.[(triple8)] Dave is cold.[(triple9)] Dave is not nice.[(triple10)] Dave is not white.[(triple13)] Dave is not young.[(triple14)] Dave is rough.[(triple11)] Dave is round.[(triple12)]