Charlie is big. Charlie is blue. Charlie is not furry. Charlie is kind. Charlie is not smart. Dave is blue. Dave is not kind. Dave is rough. Erin is blue. Erin is kind. Erin is smart. Erin is not white. Harry is big. Harry is not kind. Harry is white. If Charlie is smart and Charlie is big then Charlie is blue. All white, kind people are not rough. If Dave is big then Dave is white. If Dave is kind and Dave is white then Dave is not blue. If someone is white then they are smart. Rough people are not smart. If someone is big and rough then they are furry. All furry, white people are not blue.
Charlie is not big.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is kind.[(triple4)] Charlie is not furry.[(triple3)] Charlie is not smart.[(triple5)] Dave is blue.[(triple6)] Dave is not kind.[(triple7)] Dave is rough.[(triple8)] Erin is blue.[(triple9)] Erin is kind.[(triple10)] Erin is not white.[(triple12)] Erin is smart.[(triple11)] Harry is big.[(triple13)] Harry is not kind.[(triple14)] Harry is white.[(triple15)] @1: Dave is not smart.[(((triple8) -> rule6))] Harry is smart.[(((triple15) -> rule5))]