Bob is blue. Bob is kind. Bob is red. Bob is not smart. Bob is not young. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. Fiona is smart. Fiona is not young. If Bob is young then Bob is not nice.
Bob is not nice.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is not smart.[(triple4)] Bob is not young.[(triple5)] Bob is red.[(triple3)] Fiona is blue.[(triple6)] Fiona is kind.[(triple7)] Fiona is nice.[(triple8)] Fiona is not young.[(triple12)] Fiona is red.[(triple9)] Fiona is round.[(triple10)] Fiona is smart.[(triple11)]