Bob is not quiet. Bob is not white. Erin is furry. Erin is not green. Erin is quiet. Erin is white. Fiona is red. All quiet people are not cold. All white, big people are red. Green people are red. If someone is green and not quiet then they are big. White, red people are big. If Fiona is quiet then Fiona is white.
Erin is not big.
@0: Bob is not quiet.[(triple1)] Bob is not white.[(triple2)] Erin is furry.[(triple3)] Erin is not green.[(triple4)] Erin is quiet.[(triple5)] Erin is white.[(triple6)] Fiona is red.[(triple7)] @1: Erin is not cold.[(((triple5) -> rule1))]