Anne is nice. Dave is nice. Harry is white. If someone is white and not big then they are rough. Nice people are rough. If someone is red and not blue then they are nice. All red people are nice. If someone is big then they are not cold. Rough, cold people are white.
Anne is blue.
@0: Anne is nice.[(triple1)] Dave is nice.[(triple2)] Harry is white.[(triple3)] @1: Anne is rough.[(((triple1) -> rule2))] Dave is rough.[(((triple2) -> rule2))]