Bob is round. Charlie is furry. Charlie is green. All cold people are not smart. If someone is cold and not rough then they are furry. Furry, kind people are green. If someone is green and not furry then they are kind. If Bob is not furry then Bob is smart. If someone is kind and not green then they are round. Green people are round. If Charlie is not furry and Charlie is not round then Charlie is not smart.
Bob is not smart.
@0: Bob is round.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] @1: Charlie is round.[(((triple3) -> rule7))]