Bob is cold. Bob is not green. Bob is not red. Bob is smart. Bob is not white. Bob is young. Erin is not blue. Erin is not cold. Erin is not green. Erin is smart. Erin is white. Erin is young. All young people are not green. If someone is red then they are green. If Bob is green then Bob is smart. Red people are white. Red people are not young. If someone is white then they are young. If Erin is green and Erin is not blue then Erin is smart. If Bob is white then Bob is not cold.
Bob is blue.
@0: Bob is cold.[(triple1)] Bob is not green.[(triple2 OR ((triple6) -> rule1))] Bob is not red.[(triple3)] Bob is not white.[(triple5)] Bob is smart.[(triple4)] Bob is young.[(triple6)] Erin is not blue.[(triple7)] Erin is not cold.[(triple8)] Erin is not green.[(triple9 OR ((triple12) -> rule1) OR ((((triple11) -> rule6)) -> rule1))] Erin is smart.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12 OR ((triple11) -> rule6))]