Bob is not big. Bob is not green. Bob is kind. Bob is nice. Bob is not quiet. Bob is smart. Bob is young. If Bob is big then Bob is green. If someone is young and not nice then they are not big. If someone is young and not big then they are kind.
Bob is not quiet.
@0: Bob is kind.[(triple3 OR ((triple7 triple1) -> rule3))] Bob is nice.[(triple4)] Bob is not big.[(triple1)] Bob is not green.[(triple2)] Bob is not quiet.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)]