Charlie is not white. Erin is not white. Fiona is kind. Harry is red. All kind people are big. Young people are big. All big people are kind. If Charlie is not young and Charlie is not big then Charlie is not blue. If someone is quiet and not big then they are white. If someone is big then they are white. If Fiona is quiet and Fiona is not white then Fiona is not red. If Fiona is not red then Fiona is blue.
Charlie is not big.
@0: Charlie is not white.[(triple1)] Erin is not white.[(triple2)] Fiona is kind.[(triple3)] Harry is red.[(triple4)] @1: Fiona is big.[(((triple3) -> rule1))] @2: Fiona is white.[(((((triple3) -> rule1)) -> rule6))]