Anne is cold. Charlie is big. Gary is kind. If Charlie is young and Charlie is rough then Charlie is not kind. If someone is young and round then they are cold. All young people are rough. Nice, kind people are young. If someone is kind then they are young. If someone is kind then they are big.
Gary is rough.
@0: Anne is cold.[(triple1)] Charlie is big.[(triple2)] Gary is kind.[(triple3)] @1: Gary is big.[(((triple3) -> rule6))] Gary is young.[(((triple3) -> rule5))] @2: Gary is rough.[(((((triple3) -> rule5)) -> rule3))]