Charlie is rough. Charlie is smart. Fiona is kind. Fiona is not smart. Gary is cold. Harry is cold. Harry is not smart. If something is big and not kind then it is green. Kind things are big. If something is smart and not big then it is rough.
Charlie is young.
@0: Charlie is rough.[(triple1)] Charlie is smart.[(triple2)] Fiona is kind.[(triple3)] Fiona is not smart.[(triple4)] Gary is cold.[(triple5)] Harry is cold.[(triple6)] Harry is not smart.[(triple7)] @1: Fiona is big.[(((triple3) -> rule2))]