Bob is cold. Bob is furry. Bob is kind. Bob is red. Bob is rough. Bob is round. Bob is white. If something is round and rough then it is cold.
Bob is rough.
@0: Bob is cold.[(triple1 OR ((triple6 triple5) -> rule1))] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7)]