Dave is cold. Erin is big. Erin is quiet. Cold, red people are quiet. Big people are white. If someone is furry then they are cold. If Dave is quiet then Dave is big. If someone is white and red then they are quiet. Furry people are big.
Dave is cold.
@0: Dave is cold.[(triple1)] Erin is big.[(triple2)] Erin is quiet.[(triple3)] @1: Erin is white.[(((triple2) -> rule2))]