Anne is cold. Anne is green. Anne is kind. Anne is quiet. Anne is white. Charlie is cold. Charlie is green. Charlie is kind. Charlie is rough. Charlie is young. If something is cold then it is quiet. All kind things are white. If something is young then it is rough.
Anne is young.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4 OR ((triple1) -> rule1))] Anne is white.[(triple5 OR ((triple3) -> rule2))] Charlie is cold.[(triple6)] Charlie is green.[(triple7)] Charlie is kind.[(triple8)] Charlie is rough.[(triple9 OR ((triple10) -> rule3))] Charlie is young.[(triple10)] @1: Charlie is quiet.[(((triple6) -> rule1))] Charlie is white.[(((triple8) -> rule2))]