Charlie is not big. Charlie is furry. Charlie is not quiet. Dave is big. Dave is white. Fiona is furry. Fiona is quiet. Fiona is not smart. Harry is big. Harry is smart. Smart people are not quiet. Kind, cold people are not white. White, quiet people are big. Quiet people are kind. If someone is big and smart then they are kind. If someone is white and cold then they are not kind. Big, kind people are cold. If someone is furry and not quiet then they are cold.
Charlie is not smart.
@0: Charlie is furry.[(triple2)] Charlie is not big.[(triple1)] Charlie is not quiet.[(triple3)] Dave is big.[(triple4)] Dave is white.[(triple5)] Fiona is furry.[(triple6)] Fiona is not smart.[(triple8)] Fiona is quiet.[(triple7)] Harry is big.[(triple9)] Harry is smart.[(triple10)] @1: Charlie is cold.[(((triple2 triple3) -> rule8))] Fiona is kind.[(((triple7) -> rule4))] Harry is kind.[(((triple9 triple10) -> rule5))] Harry is not quiet.[(((triple10) -> rule1))] @2: Harry is cold.[(((triple9 ((triple9 triple10) -> rule5)) -> rule7))] @3: Harry is not white.[(((((triple9 triple10) -> rule5) ((triple9 ((triple9 triple10) -> rule5)) -> rule7)) -> rule2))]