Dave is green. Dave is rough. Erin is green. Erin is white. Erin is young. Gary is green. Gary is kind. Gary is rough. Gary is round. Gary is white. Young things are round. All green, kind things are young. If Erin is young and Erin is not smart then Erin is not kind.
Dave is green.
@0: Dave is green.[(triple1)] Dave is rough.[(triple2)] Erin is green.[(triple3)] Erin is white.[(triple4)] Erin is young.[(triple5)] Gary is green.[(triple6)] Gary is kind.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9 OR ((((triple6 triple7) -> rule2)) -> rule1))] Gary is white.[(triple10)] @1: Erin is round.[(((triple5) -> rule1))] Gary is young.[(((triple6 triple7) -> rule2))]