Anne is not big. Bob is blue. Charlie is green. Erin is rough. If something is cold and not young then it is rough. All green things are blue. If Charlie is kind then Charlie is rough.
Bob is blue.
@0: Anne is not big.[(triple1)] Bob is blue.[(triple2)] Charlie is green.[(triple3)] Erin is rough.[(triple4)] @1: Charlie is blue.[(((triple3) -> rule2))]