Charlie is big. Charlie is blue. Charlie is green. Charlie is nice. Erin is big. Erin is blue. Erin is cold. Erin is nice. Erin is rough. Harry is big. Harry is blue. Harry is cold. Harry is green. Harry is not nice. Harry is not rough. If Charlie is green then Charlie is cold.
Erin is not white.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is nice.[(triple8)] Erin is rough.[(triple9)] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12)] Harry is green.[(triple13)] Harry is not nice.[(triple14)] Harry is not rough.[(triple15)] @1: Charlie is cold.[(((triple3) -> rule1))]