Dave is white. Dave is young. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Fiona is rough. If someone is quiet then they are young. Kind people are young. All green, quiet people are kind.
Fiona is not young.
@0: Dave is white.[(triple1)] Dave is young.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4 OR ((triple3 triple5) -> rule3))] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Fiona is rough.[(triple7)] @1: Erin is young.[(((triple4) -> rule2) OR ((triple5) -> rule1) OR ((((triple3 triple5) -> rule3)) -> rule2))]