Anne is cold. Anne is not quiet. Anne is round. Anne is white. Bob is blue. Bob is cold. Bob is white. Charlie is big. Charlie is not cold. Charlie is kind. Charlie is quiet. Charlie is round. If something is big then it is quiet. If Bob is kind and Bob is not white then Bob is not big.
Charlie is not cold.
@0: Anne is cold.[(triple1)] Anne is not quiet.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Bob is blue.[(triple5)] Bob is cold.[(triple6)] Bob is white.[(triple7)] Charlie is big.[(triple8)] Charlie is kind.[(triple10)] Charlie is not cold.[(triple9)] Charlie is quiet.[(triple11 OR ((triple8) -> rule1))] Charlie is round.[(triple12)]