Anne is big. Charlie is cold. Charlie is kind. Charlie is nice. Harry is kind. Harry is round. Harry is smart. All nice people are not round. If someone is nice and not round then they are smart. If Charlie is smart then Charlie is not big. If someone is nice and big then they are kind. If someone is big and not smart then they are not quiet. If someone is nice and cold then they are not quiet.
Anne is not kind.
@0: Anne is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Harry is kind.[(triple5)] Harry is round.[(triple6)] Harry is smart.[(triple7)] @1: Charlie is not quiet.[(((triple4 triple2) -> rule6))] Charlie is not round.[(((triple4) -> rule1))] @2: Charlie is smart.[(((triple4 ((triple4) -> rule1)) -> rule2))] @3: Charlie is not big.[(((((triple4 ((triple4) -> rule1)) -> rule2)) -> rule3))]