Anne is kind. Charlie is rough. Erin is big. Gary is rough. All rough, green things are round. Round, big things are white. If Erin is cold and Erin is round then Erin is white. If something is big then it is kind. All rough, green things are round. If Charlie is big then Charlie is rough.
Anne is kind.
@0: Anne is kind.[(triple1)] Charlie is rough.[(triple2)] Erin is big.[(triple3)] Gary is rough.[(triple4)] @1: Erin is kind.[(((triple3) -> rule4))]