Charlie is rough. Dave is rough. Harry is not furry. If someone is furry then they are rough. Rough people are furry. Furry people are not red. If Dave is furry and Dave is white then Dave is not green. If someone is furry and not red then they are white. If someone is white and not green then they are kind.
Dave is red.
@0: Charlie is rough.[(triple1)] Dave is rough.[(triple2)] Harry is not furry.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule2))] Dave is furry.[(((triple2) -> rule2))] @2: Charlie is not red.[(((((triple1) -> rule2)) -> rule3))] Dave is not red.[(((((triple2) -> rule2)) -> rule3))] @3: Charlie is white.[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule3)) -> rule5))] Dave is white.[(((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule5))] @4: Dave is not green.[(((((triple2) -> rule2) ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule5)) -> rule4))] @5: Dave is kind.[(((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule5) ((((triple2) -> rule2) ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule5)) -> rule4)) -> rule6))]