Anne is big. Dave is big. Gary is rough. Harry is rough. All green people are nice. Big people are green. All nice people are round.
Anne is not round.
@0: Anne is big.[(triple1)] Dave is big.[(triple2)] Gary is rough.[(triple3)] Harry is rough.[(triple4)] @1: Anne is green.[(((triple1) -> rule2))] Dave is green.[(((triple2) -> rule2))] @2: Anne is nice.[(((((triple1) -> rule2)) -> rule1))] Dave is nice.[(((((triple2) -> rule2)) -> rule1))] @3: Anne is round.[(((((((triple1) -> rule2)) -> rule1)) -> rule3))] Dave is round.[(((((((triple2) -> rule2)) -> rule1)) -> rule3))]