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