Erin is big. Erin is blue. Erin is cold. Erin is kind. Erin is rough. Erin is smart. Erin is white. All cold, smart things are kind. If Erin is smart and Erin is kind then Erin is blue. If something is cold and kind then it is big.
Erin is not cold.
@0: Erin is big.[(triple1 OR ((triple3 triple4) -> rule3) OR ((triple3 ((triple3 triple6) -> rule1)) -> rule3))] Erin is blue.[(triple2 OR ((triple6 triple4) -> rule2) OR ((triple6 ((triple3 triple6) -> rule1)) -> rule2))] Erin is cold.[(triple3)] Erin is kind.[(triple4 OR ((triple3 triple6) -> rule1))] Erin is rough.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)]