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