Dave is furry. Dave is rough. Dave is round. Erin is big. Erin is not rough. Erin is not round. Gary is big. Gary is nice. Gary is rough. Gary is round. Harry is not big. Harry is not furry. Harry is green. Harry is red. Harry is not rough. Harry is round. If Erin is round then Erin is furry.
Harry is not round.
@0: Dave is furry.[(triple1)] Dave is rough.[(triple2)] Dave is round.[(triple3)] Erin is big.[(triple4)] Erin is not rough.[(triple5)] Erin is not round.[(triple6)] Gary is big.[(triple7)] Gary is nice.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)] Harry is green.[(triple13)] Harry is not big.[(triple11)] Harry is not furry.[(triple12)] Harry is not rough.[(triple15)] Harry is red.[(triple14)] Harry is round.[(triple16)]