Anne is big. Anne is not cold. Anne is nice. Anne is quiet. Bob is cold. Bob is round. Charlie is big. Charlie is not cold. Charlie is quiet. Charlie is not white. Round things are not kind. If something is quiet and not nice then it is big. All kind, round things are big. If Anne is big and Anne is not nice then Anne is round. If something is nice and not quiet then it is round. If Anne is cold and Anne is white then Anne is kind.
Bob is nice.
@0: Anne is big.[(triple1)] Anne is nice.[(triple3)] Anne is not cold.[(triple2)] Anne is quiet.[(triple4)] Bob is cold.[(triple5)] Bob is round.[(triple6)] Charlie is big.[(triple7)] Charlie is not cold.[(triple8)] Charlie is not white.[(triple10)] Charlie is quiet.[(triple9)] @1: Bob is not kind.[(((triple6) -> rule1))]