Bob is blue. Bob is rough. Charlie is blue. Blue, rough people are quiet. All nice, blue people are red. Nice, cold people are rough. All nice people are cold. If Charlie is red then Charlie is nice. If someone is cold and nice then they are quiet.
Bob is blue.
@0: Bob is blue.[(triple1)] Bob is rough.[(triple2)] Charlie is blue.[(triple3)] @1: Bob is quiet.[(((triple1 triple2) -> rule1))]