Dave is green. Dave is nice. Dave is rough. Dave is round. Dave is smart. Erin is green. Erin is kind. Erin is nice. Erin is rough. Erin is round. Erin is smart. Erin is young. Harry is green. Harry is kind. Harry is nice. Harry is rough. All rough, kind people are nice. Smart, round people are young. If someone is young then they are round.
Erin is not round.
@0: Dave is green.[(triple1)] Dave is nice.[(triple2)] Dave is rough.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)] Erin is green.[(triple6)] Erin is kind.[(triple7)] Erin is nice.[(triple8 OR ((triple9 triple7) -> rule1))] Erin is rough.[(triple9)] Erin is round.[(triple10 OR ((triple12) -> rule3))] Erin is smart.[(triple11)] Erin is young.[(triple12 OR ((triple11 triple10) -> rule2))] Harry is green.[(triple13)] Harry is kind.[(triple14)] Harry is nice.[(triple15 OR ((triple16 triple14) -> rule1))] Harry is rough.[(triple16)] @1: Dave is young.[(((triple5 triple4) -> rule2))]