Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is kind. Bob is round. Bob is white. All big things are cold. If something is blue then it is green.
Bob is not green.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3 OR ((triple1) -> rule1))] Bob is green.[(triple4 OR ((triple2) -> rule2))] Bob is kind.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7)]