Dave is big. Harry is big. If someone is smart and not blue then they are not nice. Big people are nice. All nice, big people are green. If someone is blue and not big then they are green. If someone is big and not blue then they are green. If Dave is green then Dave is not smart. If Harry is blue and Harry is green then Harry is young. If Dave is green and Dave is nice then Dave is not young.
Harry is kind.
@0: Dave is big.[(triple1)] Harry is big.[(triple2)] @1: Dave is nice.[(((triple1) -> rule2))] Harry is nice.[(((triple2) -> rule2))] @2: Dave is green.[(((((triple1) -> rule2) triple1) -> rule3))] Harry is green.[(((((triple2) -> rule2) triple2) -> rule3))] @3: Dave is not smart.[(((((((triple1) -> rule2) triple1) -> rule3)) -> rule6))] Dave is not young.[(((((((triple1) -> rule2) triple1) -> rule3) ((triple1) -> rule2)) -> rule8))]