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.
Gary is kind.
@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)]