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