Dave is big. Dave is kind. Dave is not quiet. Dave is rough. Gary is big. Gary is green. Gary is round. Rough things are round. All round things are green.
Dave is not green.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2)] Dave is not quiet.[(triple3)] Dave is rough.[(triple4)] Gary is big.[(triple5)] Gary is green.[(triple6 OR ((triple7) -> rule2))] Gary is round.[(triple7)] @1: Dave is round.[(((triple4) -> rule1))] @2: Dave is green.[(((((triple4) -> rule1)) -> rule2))]