Anne is nice. Anne is round. Charlie is big. Charlie is kind. Charlie is red. Charlie is smart. Harry is nice. Harry is red. Harry is round. Harry is smart. If something is smart and big then it is not nice. If Harry is not red then Harry is not smart. If Anne is big and Anne is not red then Anne is kind.
Anne is not round.
@0: Anne is nice.[(triple1)] Anne is round.[(triple2)] Charlie is big.[(triple3)] Charlie is kind.[(triple4)] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Harry is nice.[(triple7)] Harry is red.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Charlie is not nice.[(((triple6 triple3) -> rule1))]