Anne is nice. Anne is smart. Anne is young. Erin is red. Erin is rough. Erin is smart. Erin is white. Erin is young. Fiona is furry. Fiona is red. Fiona is rough. Fiona is smart. Gary is furry. Gary is rough. Gary is smart. Gary is young. If Erin is smart and Erin is furry then Erin is red. If Gary is rough and Gary is furry then Gary is smart. White people are smart.
Erin is not nice.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is smart.[(triple6 OR ((triple7) -> rule3))] Erin is white.[(triple7)] Erin is young.[(triple8)] Fiona is furry.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is smart.[(triple12)] Gary is furry.[(triple13)] Gary is rough.[(triple14)] Gary is smart.[(triple15 OR ((triple14 triple13) -> rule2))] Gary is young.[(triple16)]