Bob is kind. Erin is green. Erin is not quiet. Erin is rough. Fiona is blue. Fiona is green. Fiona is not rough. Harry is blue. Harry is furry. Harry is kind. Harry is quiet. Harry is smart. If Erin is not blue then Erin is not rough.
Erin is not kind.
@0: Bob is kind.[(triple1)] Erin is green.[(triple2)] Erin is not quiet.[(triple3)] Erin is rough.[(triple4)] Fiona is blue.[(triple5)] Fiona is green.[(triple6)] Fiona is not rough.[(triple7)] Harry is blue.[(triple8)] Harry is furry.[(triple9)] Harry is kind.[(triple10)] Harry is quiet.[(triple11)] Harry is smart.[(triple12)]