Erin is big. Erin is kind. Erin is not red. Erin is not white. Harry is big. Harry is red. Harry is rough. All red people are not smart. If Harry is not big then Harry is red. If Erin is red then Erin is big. If Erin is cold and Erin is red then Erin is not smart. White, red people are cold. All kind people are not cold. If someone is rough and not big then they are kind. If someone is kind then they are rough.
Harry is big.
@0: Erin is big.[(triple1)] Erin is kind.[(triple2)] Erin is not red.[(triple3)] Erin is not white.[(triple4)] Harry is big.[(triple5)] Harry is red.[(triple6)] Harry is rough.[(triple7)] @1: Erin is not cold.[(((triple2) -> rule6))] Erin is rough.[(((triple2) -> rule8))] Harry is not smart.[(((triple6) -> rule1))]