Bob is big. Bob is blue. Bob is cold. Bob is red. Bob is not rough. Bob is white. Bob is young. All young people are blue. Cold people are young. If Bob is not cold and Bob is not young then Bob is not rough. White people are red. All red people are white. If someone is big and not rough then they are white.
Bob is big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple7) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] Bob is cold.[(triple3)] Bob is not rough.[(triple5)] Bob is red.[(triple4 OR ((triple6) -> rule4) OR ((((triple1 triple5) -> rule6)) -> rule4))] Bob is white.[(triple6 OR ((triple4) -> rule5) OR ((triple1 triple5) -> rule6))] Bob is young.[(triple7 OR ((triple3) -> rule2))]