Charlie is not big. Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is red. Dave is green. Dave is kind. Dave is white. Erin is not big. Erin is not blue. Erin is white. Fiona is not big. Fiona is blue. Fiona is green. Fiona is kind. Fiona is quiet. If Fiona is kind then Fiona is green. If Fiona is kind and Fiona is white then Fiona is green. If someone is kind and green then they are white. If Fiona is not white then Fiona is not red. If someone is white then they are red. If someone is blue and not kind then they are red. If someone is quiet then they are blue. If someone is red and not green then they are not quiet.
Erin is not white.
@0: Charlie is blue.[(triple2 OR ((triple4) -> rule7))] Charlie is kind.[(triple3)] Charlie is not big.[(triple1)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Dave is green.[(triple6)] Dave is kind.[(triple7)] Dave is white.[(triple8 OR ((triple7 triple6) -> rule3))] Erin is not big.[(triple9)] Erin is not blue.[(triple10)] Erin is white.[(triple11)] Fiona is blue.[(triple13 OR ((triple16) -> rule7))] Fiona is green.[(triple14 OR ((triple15) -> rule1))] Fiona is kind.[(triple15)] Fiona is not big.[(triple12)] Fiona is quiet.[(triple16)] @1: Dave is red.[(((triple8) -> rule5) OR ((((triple7 triple6) -> rule3)) -> rule5))] Erin is red.[(((triple11) -> rule5))] Fiona is white.[(((triple15 triple14) -> rule3) OR ((triple15 ((triple15) -> rule1)) -> rule3))] @2: Fiona is red.[(((((triple15 triple14) -> rule3)) -> rule5) OR ((((triple15 ((triple15) -> rule1)) -> rule3)) -> rule5))]