Anne is big. Anne is round. Charlie is quiet. If Charlie is not round then Charlie is blue. All round, big people are blue. If someone is blue and big then they are not nice. If Anne is nice then Anne is blue. If Charlie is nice then Charlie is big. If someone is big and not nice then they are quiet.
Anne is not nice.
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Charlie is quiet.[(triple3)] @1: Anne is blue.[(((triple2 triple1) -> rule2))] @2: Anne is not nice.[(((((triple2 triple1) -> rule2) triple1) -> rule3))] @3: Anne is quiet.[(((triple1 ((((triple2 triple1) -> rule2) triple1) -> rule3)) -> rule6))]