Bob is quiet. Bob is rough. Bob is young. Charlie is blue. Charlie is green. Dave is furry. Dave is white. Erin is furry. Erin is green. Erin is young. If something is green then it is young.
Dave is not young.
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Bob is young.[(triple3)] Charlie is blue.[(triple4)] Charlie is green.[(triple5)] Dave is furry.[(triple6)] Dave is white.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is young.[(triple10 OR ((triple9) -> rule1))] @1: Charlie is young.[(((triple5) -> rule1))]