Anne is quiet. Bob is furry. Bob is quiet. Bob is white. Charlie is furry. Charlie is quiet. Erin is blue. Young, blue people are furry. If Bob is white then Bob is kind. Blue people are green.
Anne is blue.
@0: Anne is quiet.[(triple1)] Bob is furry.[(triple2)] Bob is quiet.[(triple3)] Bob is white.[(triple4)] Charlie is furry.[(triple5)] Charlie is quiet.[(triple6)] Erin is blue.[(triple7)] @1: Bob is kind.[(((triple4) -> rule2))] Erin is green.[(((triple7) -> rule3))]