Anne is not green. Anne is red. Anne is rough. Anne is smart. Anne is young. Bob is red. Bob is rough. Bob is smart. Bob is young. Harry is green. If something is red then it is not kind. If something is big and smart then it is rough. All red, kind things are green. If something is kind and not red then it is smart. If something is big and not young then it is smart. Smart, kind things are big.
Anne is not rough.
@0: Anne is not green.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5)] Bob is red.[(triple6)] Bob is rough.[(triple7)] Bob is smart.[(triple8)] Bob is young.[(triple9)] Harry is green.[(triple10)] @1: Anne is not kind.[(((triple2) -> rule1))] Bob is not kind.[(((triple6) -> rule1))]