Bob is cold. Bob is green. Bob is rough. Bob is white. Erin is cold. Erin is green. Erin is quiet. Erin is rough. Erin is smart. Erin is white. All green people are blue. Blue people are quiet.
Erin is blue.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is rough.[(triple3)] Bob is white.[(triple4)] Erin is cold.[(triple5)] Erin is green.[(triple6)] Erin is quiet.[(triple7 OR ((((triple6) -> rule1)) -> rule2))] Erin is rough.[(triple8)] Erin is smart.[(triple9)] Erin is white.[(triple10)] @1: Bob is blue.[(((triple2) -> rule1))] Erin is blue.[(((triple6) -> rule1))] @2: Bob is quiet.[(((((triple2) -> rule1)) -> rule2))]