Anne is not rough. Dave is not green. Dave is not kind. Dave is round. Dave is young. Gary is green. Gary is kind. Gary is red. Gary is rough. Harry is young. If Anne is green then Anne is red. If Harry is kind and Harry is not red then Harry is green. If someone is rough then they are round. Young, green people are quiet. If someone is green and not round then they are not young. Red, round people are young.
Anne is not quiet.
@0: Anne is not rough.[(triple1)] Dave is not green.[(triple2)] Dave is not kind.[(triple3)] Dave is round.[(triple4)] Dave is young.[(triple5)] Gary is green.[(triple6)] Gary is kind.[(triple7)] Gary is red.[(triple8)] Gary is rough.[(triple9)] Harry is young.[(triple10)] @1: Gary is round.[(((triple9) -> rule3))] @2: Gary is young.[(((triple8 ((triple9) -> rule3)) -> rule6))] @3: Gary is quiet.[(((((triple8 ((triple9) -> rule3)) -> rule6) triple6) -> rule4))]