Bob is big. Bob is green. Bob is not kind. Bob is not nice. Bob is quiet. Bob is not red. Bob is young. If something is red and nice then it is not young. Big things are young. If Bob is kind then Bob is big. If something is nice and not green then it is kind. All green things are not red. All young things are quiet.
Bob is not quiet.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is not kind.[(triple3)] Bob is not nice.[(triple4)] Bob is not red.[(triple6 OR ((triple2) -> rule5))] Bob is quiet.[(triple5 OR ((triple7) -> rule6) OR ((((triple1) -> rule2)) -> rule6))] Bob is young.[(triple7 OR ((triple1) -> rule2))]