Anne is green. Anne is kind. Bob is nice. Bob is red. Dave is furry. Dave is green. Dave is quiet. Dave is red. Erin is kind. Erin is quiet. Red people are green.
Erin is kind.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Dave is furry.[(triple5)] Dave is green.[(triple6 OR ((triple8) -> rule1))] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Erin is kind.[(triple9)] Erin is quiet.[(triple10)] @1: Bob is green.[(((triple4) -> rule1))]