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