Charlie is green. Dave is not cold. Fiona is not kind. If something is blue and kind then it is not round. Round things are green. If something is kind then it is green. Quiet things are green. All green things are kind. If Charlie is green and Charlie is round then Charlie is nice.
Dave is blue.
@0: Charlie is green.[(triple1)] Dave is not cold.[(triple2)] Fiona is not kind.[(triple3)] @1: Charlie is kind.[(((triple1) -> rule5))]