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