Charlie is cold. Charlie is kind. Charlie is red. Charlie is not rough. Charlie is white. Erin is kind. Erin is red. Erin is rough. Harry is furry. Harry is not kind. Harry is not red. Harry is rough. If Charlie is furry and Charlie is not red then Charlie is kind. If something is kind and furry then it is white. All rough, red things are kind.
Charlie is not cold.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is not rough.[(triple4)] Charlie is red.[(triple3)] Charlie is white.[(triple5)] Erin is kind.[(triple6 OR ((triple8 triple7) -> rule3))] Erin is red.[(triple7)] Erin is rough.[(triple8)] Harry is furry.[(triple9)] Harry is not kind.[(triple10)] Harry is not red.[(triple11)] Harry is rough.[(triple12)]