Charlie is young. Gary is kind. Harry is big. Harry is blue. Harry is kind. Harry is rough. Harry is young. If Gary is kind then Gary is smart.
Gary is not smart.
@0: Charlie is young.[(triple1)] Gary is kind.[(triple2)] Harry is big.[(triple3)] Harry is blue.[(triple4)] Harry is kind.[(triple5)] Harry is rough.[(triple6)] Harry is young.[(triple7)] @1: Gary is smart.[(((triple2) -> rule1))]