Erin is blue. Erin is cold. Erin is not round. All kind people are white. If Erin is kind and Erin is round then Erin is big. All cold, white people are big. All kind, white people are big. All white people are blue. If Erin is round then Erin is not rough. All cold people are kind. If Erin is rough and Erin is kind then Erin is white.
Erin is kind.
@0: Erin is blue.[(triple1 OR ((((((triple2) -> rule7)) -> rule1)) -> rule5))] Erin is cold.[(triple2)] Erin is not round.[(triple3)] @1: Erin is kind.[(((triple2) -> rule7))] @2: Erin is white.[(((((triple2) -> rule7)) -> rule1))] @3: Erin is big.[(((triple2 ((((triple2) -> rule7)) -> rule1)) -> rule3) OR ((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule1)) -> rule4))]