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