Bob is red. Erin is round. Big people are smart. All white, big people are kind. If Erin is red and Erin is big then Erin is round. If someone is kind and white then they are cold. If Erin is big then Erin is round. Cold, round people are red. If someone is red and round then they are big. If someone is round and white then they are kind.
Bob is red.
@0: Bob is red.[(triple1)] Erin is round.[(triple2)]