Bob is smart. Charlie is red. If something is blue and cold then it is round. If something is red and round then it is blue. All rough, round things are red. All smart things are red. If something is smart and blue then it is rough. Cold, blue things are quiet.
Bob is not round.
@0: Bob is smart.[(triple1)] Charlie is red.[(triple2)] @1: Bob is red.[(((triple1) -> rule4))]