Charlie is nice. Big, blue people are rough. Blue people are nice. If someone is nice then they are blue.
Charlie is not rough.
@0: Charlie is nice.[(triple1)] @1: Charlie is blue.[(((triple1) -> rule3))]