Anne is red. Dave is red. Erin is not smart. Gary is kind. All kind people are smart. Smart people are red.
Gary is big.
@0: Anne is red.[(triple1)] Dave is red.[(triple2)] Erin is not smart.[(triple3)] Gary is kind.[(triple4)] @1: Gary is smart.[(((triple4) -> rule1))] @2: Gary is red.[(((((triple4) -> rule1)) -> rule2))]