Anne is big. Anne is blue. Anne is red. Bob is blue. Bob is round. Dave is blue. Gary is blue. Round people are smart. Red people are round.
Anne is not big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is red.[(triple3)] Bob is blue.[(triple4)] Bob is round.[(triple5)] Dave is blue.[(triple6)] Gary is blue.[(triple7)] @1: Anne is round.[(((triple3) -> rule2))] Bob is smart.[(((triple5) -> rule1))] @2: Anne is smart.[(((((triple3) -> rule2)) -> rule1))]