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.
Gary is young.
@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))]