Dave is green. Dave is nice. Dave is red. Dave is round. Dave is white. Dave is young. Erin is not rough. Erin is not white. Gary is green. Gary is red. Gary is round. Gary is young. Green people are white. All green, red people are white. If Dave is not green then Dave is young. If someone is rough and white then they are young. If someone is nice then they are young. If Dave is young then Dave is nice. If Gary is white then Gary is green. All green, red people are not rough.
Dave is not round.
@0: Dave is green.[(triple1)] Dave is nice.[(triple2 OR ((triple6) -> rule6))] Dave is red.[(triple3)] Dave is round.[(triple4)] Dave is white.[(triple5 OR ((triple1) -> rule1) OR ((triple1 triple3) -> rule2))] Dave is young.[(triple6 OR ((triple2) -> rule5))] Erin is not rough.[(triple7)] Erin is not white.[(triple8)] Gary is green.[(triple9)] Gary is red.[(triple10)] Gary is round.[(triple11)] Gary is young.[(triple12)] @1: Dave is not rough.[(((triple1 triple3) -> rule8))] Gary is not rough.[(((triple9 triple10) -> rule8))] Gary is white.[(((triple9) -> rule1) OR ((triple9 triple10) -> rule2))]