Anne is quiet. Anne is red. Anne is white. Charlie is cold. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is red. Charlie is white. Charlie is young. Young, red people are green.
Anne is not green.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5)] Charlie is green.[(triple6 OR ((triple10 triple8) -> rule1))] Charlie is quiet.[(triple7)] Charlie is red.[(triple8)] Charlie is white.[(triple9)] Charlie is young.[(triple10)]