Charlie is red. Charlie is rough. Charlie is white. Charlie is young. Gary is smart. Gary is young. Harry is cold. Harry is green. Harry is red. Harry is white. If Gary is young and Gary is green then Gary is red. Green things are rough.
Charlie is not rough.
@0: Charlie is red.[(triple1)] Charlie is rough.[(triple2)] Charlie is white.[(triple3)] Charlie is young.[(triple4)] Gary is smart.[(triple5)] Gary is young.[(triple6)] Harry is cold.[(triple7)] Harry is green.[(triple8)] Harry is red.[(triple9)] Harry is white.[(triple10)] @1: Harry is rough.[(((triple8) -> rule2))]