Dave is furry. Dave is kind. Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is smart. Fiona is furry. Fiona is green. Young people are kind. If Dave is young then Dave is smart.
Erin is smart.
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is smart.[(triple8)] Fiona is furry.[(triple9)] Fiona is green.[(triple10)]