Anne is nice. Charlie is big. Charlie is not nice. Charlie is not white. Dave is kind. Dave is white. Harry is big. Harry is green. Harry is kind. Harry is nice. All white things are nice. If Charlie is nice and Charlie is quiet then Charlie is green.
Charlie is quiet.
@0: Anne is nice.[(triple1)] Charlie is big.[(triple2)] Charlie is not nice.[(triple3)] Charlie is not white.[(triple4)] Dave is kind.[(triple5)] Dave is white.[(triple6)] Harry is big.[(triple7)] Harry is green.[(triple8)] Harry is kind.[(triple9)] Harry is nice.[(triple10)] @1: Dave is nice.[(((triple6) -> rule1))]