Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is not nice. Bob is quiet. Bob is round. If someone is blue then they are big. All cold people are big.
Bob is not round.
@0: Bob is big.[(triple1 OR ((triple2) -> rule1) OR ((triple3) -> rule2))] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4)] Bob is not nice.[(triple5)] Bob is quiet.[(triple6)] Bob is round.[(triple7)]