Erin is not big. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is nice. Erin is red. Fiona is big. Fiona is furry. Fiona is nice. Fiona is red. Gary is furry. If someone is nice and not red then they are not kind. If Fiona is not cold and Fiona is not big then Fiona is blue.
Fiona is big.
@0: Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is not big.[(triple1)] Erin is red.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is nice.[(triple10)] Fiona is red.[(triple11)] Gary is furry.[(triple12)]