Charlie is kind. Charlie is nice. Charlie is smart. Erin is furry. Erin is green. Erin is nice. Erin is smart. Fiona is furry. Fiona is green. Fiona is nice. Fiona is smart. Harry is nice. If Charlie is green and Charlie is big then Charlie is nice. If Charlie is green then Charlie is nice.
Erin is green.
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is smart.[(triple3)] Erin is furry.[(triple4)] Erin is green.[(triple5)] Erin is nice.[(triple6)] Erin is smart.[(triple7)] Fiona is furry.[(triple8)] Fiona is green.[(triple9)] Fiona is nice.[(triple10)] Fiona is smart.[(triple11)] Harry is nice.[(triple12)]