Charlie is not green. Charlie is kind. Charlie is not nice. Charlie is not red. Charlie is young. Harry is cold. Harry is furry. Harry is not green. Harry is kind. Harry is young. Nice people are green. If Harry is furry and Harry is cold then Harry is not red. If someone is green and young then they are red. If someone is nice then they are red. If Charlie is red and Charlie is nice then Charlie is furry. Red, nice people are cold. If someone is nice and red then they are cold. Young people are kind.
Harry is furry.
@0: Charlie is kind.[(triple2 OR ((triple5) -> rule8))] Charlie is not green.[(triple1)] Charlie is not nice.[(triple3)] Charlie is not red.[(triple4)] Charlie is young.[(triple5)] Harry is cold.[(triple6)] Harry is furry.[(triple7)] Harry is kind.[(triple9 OR ((triple10) -> rule8))] Harry is not green.[(triple8)] Harry is young.[(triple10)] @1: Harry is not red.[(((triple7 triple6) -> rule2))]