Bob is rough. Bob is round. Bob is young. Charlie is big. Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is not rough. Charlie is not round. Charlie is young. Dave is cold. Dave is not nice. If Bob is rough and Bob is nice then Bob is cold. If something is quiet then it is nice.
Bob is young.
@0: Bob is rough.[(triple1)] Bob is round.[(triple2)] Bob is young.[(triple3)] Charlie is big.[(triple4)] Charlie is cold.[(triple5)] Charlie is nice.[(triple6 OR ((triple7) -> rule2))] Charlie is not rough.[(triple8)] Charlie is not round.[(triple9)] Charlie is quiet.[(triple7)] Charlie is young.[(triple10)] Dave is cold.[(triple11)] Dave is not nice.[(triple12)]