Charlie is not young. Erin is rough. Big, smart things are red. If something is big and not furry then it is blue. If something is furry and rough then it is smart. If something is young then it is smart. All furry things are smart. All smart things are young. If something is blue then it is big. Smart, red things are big.
Charlie is not young.
@0: Charlie is not young.[(triple1)] Erin is rough.[(triple2)]