Anne is not rough. Charlie is green. Fiona is big. If something is smart then it is rough. If something is big and smart then it is green. All smart, rough things are cold. All big things are smart. If Charlie is cold then Charlie is young. If something is big and not rough then it is kind.
Charlie is green.
@0: Anne is not rough.[(triple1)] Charlie is green.[(triple2)] Fiona is big.[(triple3)] @1: Fiona is smart.[(((triple3) -> rule4))] @2: Fiona is green.[(((triple3 ((triple3) -> rule4)) -> rule2))] Fiona is rough.[(((((triple3) -> rule4)) -> rule1))] @3: Fiona is cold.[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule1)) -> rule3))]