Anne is rough. Charlie is red. Gary is green. Harry is red. All green things are round. Smart things are red. All rough things are red. Green, kind things are round. All kind, smart things are round. If something is red and round then it is green. Smart, big things are kind. All green, kind things are rough.
Charlie is not red.
@0: Anne is rough.[(triple1)] Charlie is red.[(triple2)] Gary is green.[(triple3)] Harry is red.[(triple4)] @1: Anne is red.[(((triple1) -> rule3))] Gary is round.[(((triple3) -> rule1))]