Bob is big. Bob is cold. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is smart. Big people are quiet. Green, cold people are quiet. Smart people are rough.
Bob is cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is quiet.[(triple5 OR ((triple1) -> rule1) OR ((triple3 triple2) -> rule2))] Bob is rough.[(triple6 OR ((triple7) -> rule3))] Bob is smart.[(triple7)]