Bob is red. Erin is cold. Erin is quiet. If someone is white and red then they are rough. All nice people are white. Cold people are white. If someone is big then they are nice. All nice, red people are big. Nice, white people are red. If Erin is quiet and Erin is not nice then Erin is not rough. If Bob is big and Bob is not red then Bob is not rough.
Erin is white.
@0: Bob is red.[(triple1)] Erin is cold.[(triple2)] Erin is quiet.[(triple3)] @1: Erin is white.[(((triple2) -> rule3))]