Bob is not big. Bob is cold. Bob is not green. Bob is kind. Bob is nice. Bob is red. Bob is rough. If someone is red and not nice then they are rough. Green people are big. If Bob is cold then Bob is kind.
Bob is not cold.
@0: Bob is cold.[(triple2)] Bob is kind.[(triple4 OR ((triple2) -> rule3))] Bob is nice.[(triple5)] Bob is not big.[(triple1)] Bob is not green.[(triple3)] Bob is red.[(triple6)] Bob is rough.[(triple7)]