Bob is rough. Charlie is nice. Gary is rough. Nice things are red. All green, blue things are red. All red, nice things are green. Green, rough things are nice. All green, red things are blue. All green things are red. If something is blue then it is green. If Charlie is green then Charlie is red.
Charlie is blue.
@0: Bob is rough.[(triple1)] Charlie is nice.[(triple2)] Gary is rough.[(triple3)] @1: Charlie is red.[(((triple2) -> rule1))] @2: Charlie is green.[(((((triple2) -> rule1) triple2) -> rule3))] @3: Charlie is blue.[(((((((triple2) -> rule1) triple2) -> rule3) ((triple2) -> rule1)) -> rule5))]