Charlie is rough. Dave is big. Erin is young. Harry is rough. If Charlie is not rough and Charlie is not cold then Charlie is red. If something is young then it is green.
Charlie is big.
@0: Charlie is rough.[(triple1)] Dave is big.[(triple2)] Erin is young.[(triple3)] Harry is rough.[(triple4)] @1: Erin is green.[(((triple3) -> rule2))]