Anne is red. Anne is smart. Bob is big. Bob is quiet. Bob is red. Bob is rough. Charlie is big. Erin is big. Erin is cold. Erin is quiet. Erin is red. Erin is rough. If Erin is green and Erin is cold then Erin is smart. Green, quiet things are rough. If Erin is green then Erin is quiet.
Bob is smart.
@0: Anne is red.[(triple1)] Anne is smart.[(triple2)] Bob is big.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Charlie is big.[(triple7)] Erin is big.[(triple8)] Erin is cold.[(triple9)] Erin is quiet.[(triple10)] Erin is red.[(triple11)] Erin is rough.[(triple12)]