Charlie is red. Charlie is round. Harry is nice. If Charlie is round then Charlie is blue.
Charlie is not blue.
@0: Charlie is red.[(triple1)] Charlie is round.[(triple2)] Harry is nice.[(triple3)] @1: Charlie is blue.[(((triple2) -> rule1))]