Anne is green. Bob is nice. Charlie is blue. Harry is big. If something is green and not big then it is nice. Young, big things are not nice. All kind things are green. Blue, round things are kind. If something is nice then it is not kind. If something is green then it is blue. Green things are not young. If Harry is green then Harry is not nice.
Anne is round.
@0: Anne is green.[(triple1)] Bob is nice.[(triple2)] Charlie is blue.[(triple3)] Harry is big.[(triple4)] @1: Anne is blue.[(((triple1) -> rule6))] Anne is not young.[(((triple1) -> rule7))] Bob is not kind.[(((triple2) -> rule5))]