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