Bob is big. Bob is blue. Bob is white. If Bob is big then Bob is blue. If Bob is green and Bob is not round then Bob is not big.
Bob is not blue.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple1) -> rule1))] Bob is white.[(triple3)]