Bob is quiet. Charlie is green. Dave is smart. Erin is smart. Nice things are quiet. All cold things are smart. All green things are quiet. If something is quiet and cold then it is blue. Quiet, nice things are smart. Quiet, nice things are blue.
Dave is smart.
@0: Bob is quiet.[(triple1)] Charlie is green.[(triple2)] Dave is smart.[(triple3)] Erin is smart.[(triple4)] @1: Charlie is quiet.[(((triple2) -> rule3))]