Charlie is red. Erin is green. Erin is smart. If something is round and not quiet then it is not furry. Smart things are not big. If Charlie is green then Charlie is smart.
Erin is furry.
@0: Charlie is red.[(triple1)] Erin is green.[(triple2)] Erin is smart.[(triple3)] @1: Erin is not big.[(((triple3) -> rule2))]