Anne is not big. Anne is blue. Anne is quiet. Anne is round. Anne is smart. Bob is big. Bob is quiet. Dave is blue. Dave is quiet. Dave is smart. Erin is green. Erin is smart. Red, smart people are big. If someone is quiet and green then they are smart.
Dave is blue.
@0: Anne is blue.[(triple2)] Anne is not big.[(triple1)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Bob is big.[(triple6)] Bob is quiet.[(triple7)] Dave is blue.[(triple8)] Dave is quiet.[(triple9)] Dave is smart.[(triple10)] Erin is green.[(triple11)] Erin is smart.[(triple12)]