Bob is green. Bob is round. Dave is green. Dave is kind. Dave is red. Dave is rough. Dave is smart. Erin is green. Erin is kind. Erin is red. Erin is rough. Erin is round. Erin is smart. Erin is young. Gary is green. Gary is rough. If Gary is rough and Gary is green then Gary is not young. Round people are red. If Erin is not green then Erin is kind.
Erin is not round.
@0: Bob is green.[(triple1)] Bob is round.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6)] Dave is smart.[(triple7)] Erin is green.[(triple8)] Erin is kind.[(triple9)] Erin is red.[(triple10 OR ((triple12) -> rule2))] Erin is rough.[(triple11)] Erin is round.[(triple12)] Erin is smart.[(triple13)] Erin is young.[(triple14)] Gary is green.[(triple15)] Gary is rough.[(triple16)] @1: Bob is red.[(((triple2) -> rule2))] Gary is not young.[(((triple16 triple15) -> rule1))]