Anne is big. Anne is smart. Bob is big. Bob is nice. Bob is rough. Charlie is rough. Harry is big. All round people are green. If someone is smart then they are round.
Anne is not green.
@0: Anne is big.[(triple1)] Anne is smart.[(triple2)] Bob is big.[(triple3)] Bob is nice.[(triple4)] Bob is rough.[(triple5)] Charlie is rough.[(triple6)] Harry is big.[(triple7)] @1: Anne is round.[(((triple2) -> rule2))] @2: Anne is green.[(((((triple2) -> rule2)) -> rule1))]