Charlie is cold. Charlie is smart. Dave is not big. Dave is cold. Dave is green. Dave is quiet. Harry is quiet. If Charlie is smart then Charlie is kind. If Charlie is big then Charlie is not kind. All smart people are not green. All kind, white people are not quiet. If someone is quiet and not big then they are cold. If someone is quiet and not kind then they are not white. Quiet, green people are white. All kind people are white.
Charlie is quiet.
@0: Charlie is cold.[(triple1)] Charlie is smart.[(triple2)] Dave is cold.[(triple4 OR ((triple6 triple3) -> rule5))] Dave is green.[(triple5)] Dave is not big.[(triple3)] Dave is quiet.[(triple6)] Harry is quiet.[(triple7)] @1: Charlie is kind.[(((triple2) -> rule1))] Charlie is not green.[(((triple2) -> rule3))] Dave is white.[(((triple6 triple5) -> rule7))] @2: Charlie is white.[(((((triple2) -> rule1)) -> rule8))] @3: Charlie is not quiet.[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule8)) -> rule4))]