Anne is young. Bob is red. Bob is rough. Red people are rough. If someone is rough and not red then they are not nice. All red, smart people are furry.
Bob is cold.
@0: Anne is young.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3 OR ((triple2) -> rule1))]