Charlie is green. Charlie is quiet. Dave is kind. Dave is nice. Dave is rough. Dave is young. Erin is green. All young people are quiet. If Erin is kind and Erin is green then Erin is young. Quiet people are young. If someone is green then they are nice. If someone is kind then they are quiet. Green, nice people are rough.
Dave is nice.
@0: Charlie is green.[(triple1)] Charlie is quiet.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is rough.[(triple5)] Dave is young.[(triple6 OR ((((triple3) -> rule5)) -> rule3))] Erin is green.[(triple7)] @1: Charlie is nice.[(((triple1) -> rule4))] Charlie is young.[(((triple2) -> rule3))] Dave is quiet.[(((triple3) -> rule5) OR ((triple6) -> rule1))] Erin is nice.[(((triple7) -> rule4))] @2: Charlie is rough.[(((triple1 ((triple1) -> rule4)) -> rule6))] Erin is rough.[(((triple7 ((triple7) -> rule4)) -> rule6))]