Anne is green. Charlie is white. Gary is green. Harry is big. Young, blue people are not white. All cold people are white. If someone is white then they are green. If someone is cold then they are young. All white people are young. Cold, green people are red.
Gary is big.
@0: Anne is green.[(triple1)] Charlie is white.[(triple2)] Gary is green.[(triple3)] Harry is big.[(triple4)] @1: Charlie is green.[(((triple2) -> rule3))] Charlie is young.[(((triple2) -> rule5))]