Anne is big. Anne is green. Anne is kind. Charlie is cold. Erin is kind. Erin is round. Harry is big. If Anne is big then Anne is not round. If something is quiet and not round then it is cold. All green things are not young. Quiet, cold things are kind. If something is quiet and not cold then it is kind. All young, kind things are green.
Erin is not round.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Charlie is cold.[(triple4)] Erin is kind.[(triple5)] Erin is round.[(triple6)] Harry is big.[(triple7)] @1: Anne is not round.[(((triple1) -> rule1))] Anne is not young.[(((triple2) -> rule3))]