Charlie is smart. Erin is quiet. If something is quiet then it is blue. If something is rough then it is quiet. Round things are smart. If something is rough then it is quiet. Furry, rough things are smart. If Charlie is furry and Charlie is smart then Charlie is blue.
Erin is not smart.
@0: Charlie is smart.[(triple1)] Erin is quiet.[(triple2)] @1: Erin is blue.[(((triple2) -> rule1))]