Anne is blue. Bob is not blue. Bob is green. Bob is quiet. Erin is big. Erin is nice. Erin is rough. All green people are quiet. If Anne is not cold then Anne is rough. If Erin is rough then Erin is cold. Big, cold people are green. Blue people are rough. If Bob is blue and Bob is big then Bob is green.
Erin is green.
@0: Anne is blue.[(triple1)] Bob is green.[(triple3)] Bob is not blue.[(triple2)] Bob is quiet.[(triple4 OR ((triple3) -> rule1))] Erin is big.[(triple5)] Erin is nice.[(triple6)] Erin is rough.[(triple7)] @1: Anne is rough.[(((triple1) -> rule5))] Erin is cold.[(((triple7) -> rule3))] @2: Erin is green.[(((triple5 ((triple7) -> rule3)) -> rule4))] @3: Erin is quiet.[(((((triple5 ((triple7) -> rule3)) -> rule4)) -> rule1))]