Anne is kind. Erin is kind. Gary is nice. If someone is rough then they are big. All kind people are big. If Erin is red and Erin is nice then Erin is kind.
Anne is big.
@0: Anne is kind.[(triple1)] Erin is kind.[(triple2)] Gary is nice.[(triple3)] @1: Anne is big.[(((triple1) -> rule2))] Erin is big.[(((triple2) -> rule2))]