Bob is cold. Erin is big. Erin is blue. Erin is cold. Erin is not furry. Erin is kind. Erin is rough. If someone is young then they are big. All kind people are blue. If Erin is not young then Erin is kind. All young people are cold. If someone is rough and not kind then they are not cold. If Erin is not big then Erin is not rough. If Erin is young and Erin is not big then Erin is not cold. If Erin is not cold then Erin is blue.
Erin is not rough.
@0: Bob is cold.[(triple1)] Erin is big.[(triple2)] Erin is blue.[(triple3 OR ((triple6) -> rule2))] Erin is cold.[(triple4)] Erin is kind.[(triple6)] Erin is not furry.[(triple5)] Erin is rough.[(triple7)]