Charlie is not kind. Charlie is nice. Charlie is quiet. Charlie is not smart. Charlie is not white. Dave is not nice. Erin is big. Erin is kind. Erin is quiet. Erin is not white. Harry is cold. Harry is nice. If Charlie is kind then Charlie is cold. If Charlie is white then Charlie is big. All nice, white people are cold. If someone is quiet then they are nice. White, big people are kind. If Dave is quiet then Dave is not big.
Charlie is not smart.
@0: Charlie is nice.[(triple2 OR ((triple3) -> rule4))] Charlie is not kind.[(triple1)] Charlie is not smart.[(triple4)] Charlie is not white.[(triple5)] Charlie is quiet.[(triple3)] Dave is not nice.[(triple6)] Erin is big.[(triple7)] Erin is kind.[(triple8)] Erin is not white.[(triple10)] Erin is quiet.[(triple9)] Harry is cold.[(triple11)] Harry is nice.[(triple12)] @1: Erin is nice.[(((triple9) -> rule4))]