Even though he's a big dude, Alan is cold. Bob always goes out of his way to show that he is kind to people. Eric is big and tends to wear red shirts. Fred grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. People who are rough and green with envy are young. All nice people are young. A big person that is tattooed blue will be very nice. All men who happen to be red and big, will also be blue.
Alan is not blue.
@0: Alan is big.[(triple2)] Alan is cold.[(triple1)] Bob is kind.[(triple3)] Eric is big.[(triple5)] Eric is red.[(triple4)] Fred is blue.[(triple7)] Fred is rough.[(triple6)] @1: Eric is blue.[(((triple4 triple5) -> rule4))] @2: Eric is nice.[(((triple5 ((triple4 triple5) -> rule4)) -> rule3))] @3: Eric is young.[(((((triple5 ((triple4 triple5) -> rule4)) -> rule3)) -> rule2))]