Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is rough. Bob is round. Bob is smart. Kind things are cold. If Bob is smart and Bob is rough then Bob is cold.
Bob is kind.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple4) -> rule1) OR ((triple7 triple5) -> rule2))] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7)]