Bob is red. Charlie is cold. Dave is young. Erin is white. Cold people are rough. If someone is blue and not quiet then they are young. If someone is blue then they are cold. If someone is blue and white then they are red. If someone is rough and young then they are not red. If someone is cold and not rough then they are red.
Erin is not white.
@0: Bob is red.[(triple1)] Charlie is cold.[(triple2)] Dave is young.[(triple3)] Erin is white.[(triple4)] @1: Charlie is rough.[(((triple2) -> rule1))]