Charlie is green. Charlie is quiet. Charlie is rough. Dave is nice. Gary is rough. Harry is green. Harry is nice. Harry is red. Harry is rough. Harry is young. If someone is rough and red then they are kind.
Dave is red.
@0: Charlie is green.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3)] Dave is nice.[(triple4)] Gary is rough.[(triple5)] Harry is green.[(triple6)] Harry is nice.[(triple7)] Harry is red.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)] @1: Harry is kind.[(((triple9 triple8) -> rule1))]