Bob is young. Charlie is white. If Charlie is round then Charlie is furry. If Charlie is quiet and Charlie is smart then Charlie is furry. Round things are not furry. If Charlie is big and Charlie is white then Charlie is young. All young, round things are not smart. All quiet things are young. Quiet things are young. If Charlie is white then Charlie is quiet.
Bob is not quiet.
@0: Bob is young.[(triple1)] Charlie is white.[(triple2)] @1: Charlie is quiet.[(((triple2) -> rule8))] @2: Charlie is young.[(((((triple2) -> rule8)) -> rule6) OR ((((triple2) -> rule8)) -> rule7))]