Bob is cold. Charlie is not cold. Charlie is rough. Charlie is young. Erin is blue. Erin is cold. Erin is nice. Erin is young. Gary is not blue. Gary is nice. All blue people are white. All rough people are young. If someone is blue and not big then they are young.
Bob is not white.
@0: Bob is cold.[(triple1)] Charlie is not cold.[(triple2)] Charlie is rough.[(triple3)] Charlie is young.[(triple4 OR ((triple3) -> rule2))] Erin is blue.[(triple5)] Erin is cold.[(triple6)] Erin is nice.[(triple7)] Erin is young.[(triple8)] Gary is nice.[(triple10)] Gary is not blue.[(triple9)] @1: Erin is white.[(((triple5) -> rule1))]