Charlie is green. Fiona is big. Harry is not kind. If Charlie is rough then Charlie is green. All green things are round. If something is blue then it is not round. If something is rough and cold then it is blue. If something is kind and not cold then it is blue. Rough things are green.
Harry is kind.
@0: Charlie is green.[(triple1)] Fiona is big.[(triple2)] Harry is not kind.[(triple3)] @1: Charlie is round.[(((triple1) -> rule2))]