Erin is cold. Erin is kind. Erin is rough. If Erin is big then Erin is smart. All round, big people are smart. Big, cold people are round. If someone is cold then they are round. If someone is big then they are white. If someone is round and white then they are big. Round, kind people are white. All kind people are white.
Erin is rough.
@0: Erin is cold.[(triple1)] Erin is kind.[(triple2)] Erin is rough.[(triple3)] @1: Erin is round.[(((triple1) -> rule4))] Erin is white.[(((triple2) -> rule8) OR ((((triple1) -> rule4) triple2) -> rule7))] @2: Erin is big.[(((((triple1) -> rule4) ((triple2) -> rule8)) -> rule6) OR ((((triple1) -> rule4) ((((triple1) -> rule4) triple2) -> rule7)) -> rule6))] @3: Erin is smart.[(((((((triple1) -> rule4) ((triple2) -> rule8)) -> rule6)) -> rule1) OR ((((triple1) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule8)) -> rule6)) -> rule2) OR ((((((triple1) -> rule4) ((((triple1) -> rule4) triple2) -> rule7)) -> rule6)) -> rule1) OR ((((triple1) -> rule4) ((((triple1) -> rule4) ((((triple1) -> rule4) triple2) -> rule7)) -> rule6)) -> rule2))]