Erin is nice. Erin is not quiet. Erin is red. Red people are big. All smart people are big. If someone is quiet then they are smart. If someone is big then they are not kind. If someone is blue and not kind then they are nice. If someone is nice and not kind then they are not blue.
Erin is not kind.
@0: Erin is nice.[(triple1)] Erin is not quiet.[(triple2)] Erin is red.[(triple3)] @1: Erin is big.[(((triple3) -> rule1))] @2: Erin is not kind.[(((((triple3) -> rule1)) -> rule4))] @3: Erin is not blue.[(((triple1 ((((triple3) -> rule1)) -> rule4)) -> rule6))]