Bob is cold. Bob is furry. Bob is nice. Harry is cold. Harry is furry. Harry is nice. Harry is red. If someone is red and cold then they are rough. If Bob is green and Bob is rough then Bob is kind. All nice, rough people are green.
Harry is not cold.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Harry is cold.[(triple4)] Harry is furry.[(triple5)] Harry is nice.[(triple6)] Harry is red.[(triple7)] @1: Harry is rough.[(((triple7 triple4) -> rule1))] @2: Harry is green.[(((triple6 ((triple7 triple4) -> rule1)) -> rule3))]