Anne is smart. Charlie is quiet. Dave is not smart. If someone is round then they are quiet. Smart, red people are round. All smart people are round. If someone is red and not round then they are rough. If someone is big and rough then they are white. All quiet people are not white.
Anne is quiet.
@0: Anne is smart.[(triple1)] Charlie is quiet.[(triple2)] Dave is not smart.[(triple3)] @1: Anne is round.[(((triple1) -> rule3))] Charlie is not white.[(((triple2) -> rule6))] @2: Anne is quiet.[(((((triple1) -> rule3)) -> rule1))] @3: Anne is not white.[(((((((triple1) -> rule3)) -> rule1)) -> rule6))]