Anne is green. Anne is kind. Anne is nice. Charlie is big. Charlie is cold. Charlie is green. Charlie is nice. Charlie is rough. Charlie is round. Dave is big. Dave is cold. Dave is kind. Dave is nice. Dave is rough. Dave is round. If Charlie is big then Charlie is green. If Charlie is green then Charlie is cold.
Anne is not green.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Charlie is big.[(triple4)] Charlie is cold.[(triple5 OR ((triple6) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Charlie is green.[(triple6 OR ((triple4) -> rule1))] Charlie is nice.[(triple7)] Charlie is rough.[(triple8)] Charlie is round.[(triple9)] Dave is big.[(triple10)] Dave is cold.[(triple11)] Dave is kind.[(triple12)] Dave is nice.[(triple13)] Dave is rough.[(triple14)] Dave is round.[(triple15)]