Bob is red. Bob is rough. Erin is not blue. Erin is rough. Erin is smart. Fiona is furry. Fiona is green. Fiona is not red. Harry is big. Harry is green. If Fiona is red and Fiona is not smart then Fiona is not blue. If something is big and not green then it is blue.
Bob is not blue.
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Erin is not blue.[(triple3)] Erin is rough.[(triple4)] Erin is smart.[(triple5)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] Fiona is not red.[(triple8)] Harry is big.[(triple9)] Harry is green.[(triple10)]