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