Anne is blue. Anne is kind. Anne is rough. Charlie is blue. Charlie is red. Charlie is rough. Erin is big. Erin is rough. Erin is smart. Fiona is blue. If Fiona is smart then Fiona is red.
Fiona is not red.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Charlie is blue.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Erin is big.[(triple7)] Erin is rough.[(triple8)] Erin is smart.[(triple9)] Fiona is blue.[(triple10)]