Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is round. Charlie is white. Dave is cold. Dave is green. Dave is red. Harry is nice. Harry is red. Harry is white. If Dave is green then Dave is nice.
Dave is green.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Dave is cold.[(triple7)] Dave is green.[(triple8)] Dave is red.[(triple9)] Harry is nice.[(triple10)] Harry is red.[(triple11)] Harry is white.[(triple12)] @1: Dave is nice.[(((triple8) -> rule1))]