Bob is red. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is white. Fiona is not furry. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is not smart. If Fiona is nice and Fiona is not smart then Fiona is not kind.
Bob is red.
@0: Bob is red.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Fiona is kind.[(triple9)] Fiona is not furry.[(triple8)] Fiona is not smart.[(triple12)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)]