Charlie is green. Charlie is not kind. Erin is big. Erin is blue. Erin is kind. Erin is nice. Fiona is kind. All kind people are blue. If Erin is furry then Erin is not big. All furry, nice people are not kind. If someone is blue and big then they are not white. If someone is white and not kind then they are not big. Furry people are big.
Erin is not nice.
@0: Charlie is green.[(triple1)] Charlie is not kind.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4 OR ((triple5) -> rule1))] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Fiona is kind.[(triple7)] @1: Erin is not white.[(((triple4 triple3) -> rule4) OR ((((triple5) -> rule1) triple3) -> rule4))] Fiona is blue.[(((triple7) -> rule1))]