Erin is kind. Erin is red. Erin is not smart. Fiona is kind. Fiona is not rough. Fiona is round. Gary is red. All big things are not kind.
Erin is not red.
@0: Erin is kind.[(triple1)] Erin is not smart.[(triple3)] Erin is red.[(triple2)] Fiona is kind.[(triple4)] Fiona is not rough.[(triple5)] Fiona is round.[(triple6)] Gary is red.[(triple7)]