Anne is red. Bob is green. Charlie is red. Harry is red. If Charlie is smart then Charlie is not red. If Harry is red then Harry is furry. All smart, nice people are red. All kind people are smart. If someone is kind and not nice then they are not smart. Green people are kind.
Bob is green.
@0: Anne is red.[(triple1)] Bob is green.[(triple2)] Charlie is red.[(triple3)] Harry is red.[(triple4)] @1: Bob is kind.[(((triple2) -> rule6))] Harry is furry.[(((triple4) -> rule2))] @2: Bob is smart.[(((((triple2) -> rule6)) -> rule4))]