Dave is big. Erin is big. Erin is furry. Erin is green. Erin is rough. Erin is smart. Fiona is not big. Fiona is furry. Fiona is not white. Harry is rough. If Erin is nice and Erin is not big then Erin is smart.
Erin is smart.
@0: Dave is big.[(triple1)] Erin is big.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4)] Erin is rough.[(triple5)] Erin is smart.[(triple6)] Fiona is furry.[(triple8)] Fiona is not big.[(triple7)] Fiona is not white.[(triple9)] Harry is rough.[(triple10)]