Bob is big. Bob is green. Bob is not quiet. Bob is rough. Bob is round. Bob is smart. Bob is not young. If something is green and not big then it is rough. If something is young and not big then it is rough. If something is smart and not big then it is rough. If something is big and not young then it is smart. Quiet, big things are not green. If something is rough and round then it is green. All green things are round. All rough things are round.
Bob is not young.
@0: Bob is big.[(triple1)] Bob is green.[(triple2 OR ((triple4 triple5) -> rule6) OR ((triple4 ((triple4) -> rule8)) -> rule6))] Bob is not quiet.[(triple3)] Bob is not young.[(triple7)] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple2) -> rule7) OR ((triple4) -> rule8))] Bob is smart.[(triple6 OR ((triple1 triple7) -> rule4))]