Anne is round. Charlie is kind. Gary is big. Harry is rough. If Anne is rough and Anne is big then Anne is not round. All kind, big things are smart. All big, round things are smart. Rough things are white. All furry things are rough. Kind things are not round. If Harry is white and Harry is smart then Harry is not big. All smart things are furry.
Anne is not round.
@0: Anne is round.[(triple1)] Charlie is kind.[(triple2)] Gary is big.[(triple3)] Harry is rough.[(triple4)] @1: Charlie is not round.[(((triple2) -> rule6))] Harry is white.[(((triple4) -> rule4))]