Anne is smart. Bob is furry. Dave is big. Erin is furry. All furry, quiet people are red. All nice, young people are red. Furry people are quiet.
Bob is not quiet.
@0: Anne is smart.[(triple1)] Bob is furry.[(triple2)] Dave is big.[(triple3)] Erin is furry.[(triple4)] @1: Bob is quiet.[(((triple2) -> rule3))] Erin is quiet.[(((triple4) -> rule3))] @2: Bob is red.[(((triple2 ((triple2) -> rule3)) -> rule1))] Erin is red.[(((triple4 ((triple4) -> rule3)) -> rule1))]