Anne is rough. Dave is big. Fiona is green. If Dave is rough and Dave is green then Dave is big. All rough things are kind. If something is round and red then it is not green. If something is big then it is green. Kind things are big. If something is big and not round then it is rough.
Dave is not rough.
@0: Anne is rough.[(triple1)] Dave is big.[(triple2)] Fiona is green.[(triple3)] @1: Anne is kind.[(((triple1) -> rule2))] Dave is green.[(((triple2) -> rule4))] @2: Anne is big.[(((((triple1) -> rule2)) -> rule5))] @3: Anne is green.[(((((((triple1) -> rule2)) -> rule5)) -> rule4))]