Anne is blue. Anne is cold. Anne is kind. Anne is rough. Anne is young. Charlie is blue. Charlie is round. Dave is blue. Dave is kind. Erin is rough. Green things are round. If something is green then it is rough. All round things are green.
Charlie is rough.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5)] Charlie is blue.[(triple6)] Charlie is round.[(triple7)] Dave is blue.[(triple8)] Dave is kind.[(triple9)] Erin is rough.[(triple10)] @1: Charlie is green.[(((triple7) -> rule3))] @2: Charlie is rough.[(((((triple7) -> rule3)) -> rule2))]