Bob is cold. Bob is green. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Bob is not young. If someone is nice then they are not young. If someone is nice and not green then they are cold. If someone is young and not nice then they are cold.
Bob is young.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is not young.[(triple7 OR ((triple3) -> rule1))] Bob is quiet.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)]