Charlie is blue. Charlie is cold. Charlie is furry. Charlie is young. Erin is not big. Erin is blue. Erin is cold. Erin is furry. Erin is white. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is rough. Harry is white. Harry is young. If something is white and not blue then it is cold. Rough things are white.
Charlie is big.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is young.[(triple4)] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is furry.[(triple8)] Erin is not big.[(triple5)] Erin is white.[(triple9)] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15 OR ((triple14) -> rule2))] Harry is young.[(triple16)]