Bob is blue. Bob is furry. Bob is green. Bob is quiet. Bob is rough. Bob is white. Bob is young. If something is green and blue then it is quiet. If Bob is young and Bob is green then Bob is quiet. If something is rough and white then it is blue.
Bob is not rough.
@0: Bob is blue.[(triple1 OR ((triple5 triple6) -> rule3))] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is quiet.[(triple4 OR ((triple3 triple1) -> rule1) OR ((triple7 triple3) -> rule2) OR ((triple3 ((triple5 triple6) -> rule3)) -> rule1))] Bob is rough.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)]