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