Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is red. Erin is smart. Erin is young. Red, kind people are blue. Cold, blue people are smart. If Erin is green and Erin is kind then Erin is smart.
Erin is not blue.
@0: Erin is blue.[(triple1 OR ((triple5 triple4) -> rule1))] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is red.[(triple5)] Erin is smart.[(triple6 OR ((triple2 triple1) -> rule2) OR ((triple3 triple4) -> rule3) OR ((triple2 ((triple5 triple4) -> rule1)) -> rule2))] Erin is young.[(triple7)]