Anne is not big. Anne is blue. Anne is not quiet. Anne is red. Anne is round. Anne is smart. Anne is young. Charlie is big. Charlie is blue. Charlie is quiet. Charlie is red. Charlie is not round. Charlie is smart. Charlie is young. If something is red and not blue then it is round. If Charlie is young then Charlie is big. If Charlie is quiet and Charlie is round then Charlie is not young. All blue things are smart. If Anne is not round then Anne is not young. If something is young and quiet then it is big.
Charlie is big.
@0: Anne is blue.[(triple2)] Anne is not big.[(triple1)] Anne is not quiet.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple2) -> rule4))] Anne is young.[(triple7)] Charlie is big.[(triple8 OR ((triple14) -> rule2) OR ((triple14 triple10) -> rule6))] Charlie is blue.[(triple9)] Charlie is not round.[(triple12)] Charlie is quiet.[(triple10)] Charlie is red.[(triple11)] Charlie is smart.[(triple13 OR ((triple9) -> rule4))] Charlie is young.[(triple14)]