Anne is kind. Bob is cold. Bob is rough. Bob is young. Erin is quiet. Erin is rough. Erin is young. If Erin is cold then Erin is nice. All rough people are cold.
Erin is not nice.
@0: Anne is kind.[(triple1)] Bob is cold.[(triple2 OR ((triple3) -> rule2))] Bob is rough.[(triple3)] Bob is young.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7)] @1: Erin is cold.[(((triple6) -> rule2))] @2: Erin is nice.[(((((triple6) -> rule2)) -> rule1))]