Anne is big. Anne is furry. Anne is green. Bob is green. Bob is red. Bob is rough. Dave is big. Dave is green. Gary is green. Gary is smart. If Dave is smart then Dave is kind.
Gary is green.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Bob is green.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Dave is big.[(triple7)] Dave is green.[(triple8)] Gary is green.[(triple9)] Gary is smart.[(triple10)]