Anne is big. Anne is not blue. Anne is cold. Anne is kind. Anne is smart. Charlie is big. Charlie is blue. Charlie is cold. Charlie is not green. Charlie is not kind. Charlie is not quiet. Charlie is smart. Green, big people are smart. All quiet, cold people are smart. All kind, cold people are big.
Charlie is big.
@0: Anne is big.[(triple1 OR ((triple4 triple3) -> rule3))] Anne is cold.[(triple3)] Anne is kind.[(triple4)] Anne is not blue.[(triple2)] Anne is smart.[(triple5)] Charlie is big.[(triple6)] Charlie is blue.[(triple7)] Charlie is cold.[(triple8)] Charlie is not green.[(triple9)] Charlie is not kind.[(triple10)] Charlie is not quiet.[(triple11)] Charlie is smart.[(triple12)]