Anne is young. Charlie is furry. Erin is blue. All kind people are blue. Furry people are young. All young people are furry. If someone is young and blue then they are kind. Furry, quiet people are red. Furry people are quiet. Young, red people are white. Kind, young people are blue.
Erin is not kind.
@0: Anne is young.[(triple1)] Charlie is furry.[(triple2)] Erin is blue.[(triple3)] @1: Anne is furry.[(((triple1) -> rule3))] Charlie is quiet.[(((triple2) -> rule6))] Charlie is young.[(((triple2) -> rule2))] @2: Anne is quiet.[(((((triple1) -> rule3)) -> rule6))] Charlie is red.[(((triple2 ((triple2) -> rule6)) -> rule5))] @3: Anne is red.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule5))] Charlie is white.[(((((triple2) -> rule2) ((triple2 ((triple2) -> rule6)) -> rule5)) -> rule7))] @4: Anne is white.[(((triple1 ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule5)) -> rule7))]