Anne is cold. Anne is green. Anne is rough. Bob is blue. Bob is cold. Charlie is blue. Charlie is round. Green things are rough. If Anne is green then Anne is young.
Charlie is not blue.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is rough.[(triple3 OR ((triple2) -> rule1))] Bob is blue.[(triple4)] Bob is cold.[(triple5)] Charlie is blue.[(triple6)] Charlie is round.[(triple7)] @1: Anne is young.[(((triple2) -> rule2))]