Erin is nice. If someone is white and nice then they are cold. If someone is kind then they are rough. Kind, green people are white. Cold people are rough. If someone is kind and nice then they are big. All white people are kind. If someone is nice then they are white. If someone is white and rough then they are big.
Erin is not nice.
@0: Erin is nice.[(triple1)] @1: Erin is white.[(((triple1) -> rule7))] @2: Erin is cold.[(((((triple1) -> rule7) triple1) -> rule1))] Erin is kind.[(((((triple1) -> rule7)) -> rule6))] @3: Erin is big.[(((((((triple1) -> rule7)) -> rule6) triple1) -> rule5) OR ((((triple1) -> rule7) ((((((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule8) OR ((((triple1) -> rule7) ((((((triple1) -> rule7) triple1) -> rule1)) -> rule4)) -> rule8))] Erin is rough.[(((((((triple1) -> rule7)) -> rule6)) -> rule2) OR ((((((triple1) -> rule7) triple1) -> rule1)) -> rule4))]