Charlie is cold. Charlie is furry. Charlie is not green. Charlie is kind. Charlie is round. Charlie is smart. Charlie is white. Harry is cold. Harry is not furry. Harry is green. Harry is not kind. Harry is round. Harry is smart. Harry is not white. If Charlie is smart then Charlie is kind. If someone is green then they are round. If Charlie is not cold then Charlie is green.
Harry is round.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple4 OR ((triple6) -> rule1))] Charlie is not green.[(triple3)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple10)] Harry is not furry.[(triple9)] Harry is not kind.[(triple11)] Harry is not white.[(triple14)] Harry is round.[(triple12 OR ((triple10) -> rule2))] Harry is smart.[(triple13)]