Anne is smart. Charlie is rough. Harry is furry. If Charlie is blue then Charlie is furry. Blue things are big. If Anne is smart then Anne is blue. If Harry is round then Harry is smart. White, smart things are big. If something is rough then it is smart.
Charlie is not rough.
@0: Anne is smart.[(triple1)] Charlie is rough.[(triple2)] Harry is furry.[(triple3)] @1: Anne is blue.[(((triple1) -> rule3))] Charlie is smart.[(((triple2) -> rule6))] @2: Anne is big.[(((((triple1) -> rule3)) -> rule2))]