Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Erin is blue. Erin is cold. Erin is quiet. Erin is rough. If someone is furry and blue then they are green. All quiet people are rough. All quiet people are green.
Erin is not rough.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple5) -> rule3))] Bob is kind.[(triple4)] Bob is quiet.[(triple5)] Bob is rough.[(triple6 OR ((triple5) -> rule2))] Erin is blue.[(triple7)] Erin is cold.[(triple8)] Erin is quiet.[(triple9)] Erin is rough.[(triple10 OR ((triple9) -> rule2))] @1: Erin is green.[(((triple9) -> rule3))]