Bob is nice. Bob is quiet. Bob is not red. Bob is rough. Bob is round. Bob is white. Bob is young. If Bob is quiet then Bob is nice. If something is red then it is rough.
Bob is not round.
@0: Bob is nice.[(triple1 OR ((triple2) -> rule1))] Bob is not red.[(triple3)] Bob is quiet.[(triple2)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)]