Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is quiet. All big things are green. Cold things are big.
Bob is kind.
@0: Bob is big.[(triple1 OR ((triple3) -> rule2))] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4 OR ((triple1) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] Bob is kind.[(triple5)] Bob is nice.[(triple6)] Bob is quiet.[(triple7)]