Bob is big. Bob is nice. Bob is quiet. Bob is rough. Bob is white. Bob is young. Charlie is big. Charlie is nice. Charlie is white. Charlie is young. If Bob is young then Bob is quiet. If Bob is nice then Bob is quiet.
Charlie is not quiet.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3 OR ((triple2) -> rule2) OR ((triple6) -> rule1))] Bob is rough.[(triple4)] Bob is white.[(triple5)] Bob is young.[(triple6)] Charlie is big.[(triple7)] Charlie is nice.[(triple8)] Charlie is white.[(triple9)] Charlie is young.[(triple10)]