Charlie is rough. Dave is cold. Dave is nice. Dave is rough. Erin is cold. Erin is green. Erin is young. All rough, cold things are quiet. All nice things are cold. All rough things are nice.
Erin is green.
@0: Charlie is rough.[(triple1)] Dave is cold.[(triple2 OR ((triple3) -> rule2) OR ((((triple4) -> rule3)) -> rule2))] Dave is nice.[(triple3 OR ((triple4) -> rule3))] Dave is rough.[(triple4)] Erin is cold.[(triple5)] Erin is green.[(triple6)] Erin is young.[(triple7)] @1: Charlie is nice.[(((triple1) -> rule3))] Dave is quiet.[(((triple4 triple2) -> rule1) OR ((triple4 ((triple3) -> rule2)) -> rule1) OR ((triple4 ((((triple4) -> rule3)) -> rule2)) -> rule1))] @2: Charlie is cold.[(((((triple1) -> rule3)) -> rule2))] @3: Charlie is quiet.[(((triple1 ((((triple1) -> rule3)) -> rule2)) -> rule1))]