Anne is blue. Anne is green. Anne is smart. Bob is green. Bob is kind. Bob is smart. Dave is kind. Dave is not nice. Harry is not kind. Harry is young. If something is big then it is blue. Big things are not young. Blue, nice things are big. If something is blue then it is big. If something is nice and not green then it is not kind. If something is blue and not young then it is kind.
Bob is not green.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is smart.[(triple3)] Bob is green.[(triple4)] Bob is kind.[(triple5)] Bob is smart.[(triple6)] Dave is kind.[(triple7)] Dave is not nice.[(triple8)] Harry is not kind.[(triple9)] Harry is young.[(triple10)] @1: Anne is big.[(((triple1) -> rule4))] @2: Anne is not young.[(((((triple1) -> rule4)) -> rule2))] @3: Anne is kind.[(((triple1 ((((triple1) -> rule4)) -> rule2)) -> rule6))]