Bob is blue. Fiona is cold. Gary is red. Harry is cold. Rough people are cold. All smart people are cold. All rough people are red. If someone is cold and not blue then they are not red. If someone is young and not blue then they are smart. If someone is green then they are rough. Blue people are not green. Smart, blue people are green.
Bob is not blue.
@0: Bob is blue.[(triple1)] Fiona is cold.[(triple2)] Gary is red.[(triple3)] Harry is cold.[(triple4)] @1: Bob is not green.[(((triple1) -> rule7))]