Anne is nice. Anne is rough. Charlie is kind. Charlie is not nice. Charlie is rough. Charlie is young. Harry is big. Harry is green. Harry is nice. Harry is not red. If Anne is rough and Anne is not red then Anne is not green. If Anne is red then Anne is green. If someone is young then they are big.
Harry is not green.
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2)] Charlie is kind.[(triple3)] Charlie is not nice.[(triple4)] Charlie is rough.[(triple5)] Charlie is young.[(triple6)] Harry is big.[(triple7)] Harry is green.[(triple8)] Harry is nice.[(triple9)] Harry is not red.[(triple10)] @1: Charlie is big.[(((triple6) -> rule3))]