Bob is white. Charlie is green. Dave is kind. Erin is white. Nice people are white. If someone is furry then they are kind. All kind, round people are white. Kind, red people are nice. If someone is green then they are furry. All white people are red. All red people are kind. If someone is green and kind then they are furry.
Erin is not nice.
@0: Bob is white.[(triple1)] Charlie is green.[(triple2)] Dave is kind.[(triple3)] Erin is white.[(triple4)] @1: Bob is red.[(((triple1) -> rule6))] Charlie is furry.[(((triple2) -> rule5))] Erin is red.[(((triple4) -> rule6))] @2: Bob is kind.[(((((triple1) -> rule6)) -> rule7))] Charlie is kind.[(((((triple2) -> rule5)) -> rule2))] Erin is kind.[(((((triple4) -> rule6)) -> rule7))] @3: Bob is nice.[(((((((triple1) -> rule6)) -> rule7) ((triple1) -> rule6)) -> rule4))] Erin is nice.[(((((((triple4) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule4))]