Charlie is nice. Gary is big. Gary is nice. If Charlie is nice then Charlie is kind. If someone is kind then they are nice. If someone is kind then they are white.
Gary is not white.
@0: Charlie is nice.[(triple1)] Gary is big.[(triple2)] Gary is nice.[(triple3)] @1: Charlie is kind.[(((triple1) -> rule1))] @2: Charlie is white.[(((((triple1) -> rule1)) -> rule3))]