Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is red. Bob is rough. All nice people are furry. All red, nice people are cold.
Bob is not rough.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple6 triple5) -> rule2))] Bob is furry.[(triple3 OR ((triple5) -> rule1))] Bob is green.[(triple4)] Bob is nice.[(triple5)] Bob is red.[(triple6)] Bob is rough.[(triple7)]