Anne is big. Anne is kind. Anne is smart. Anne is young. Charlie is big. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is young. Erin is big. Erin is blue. Erin is cold. Erin is kind. Erin is smart. Erin is young. If something is smart then it is young. If Anne is quiet then Anne is blue. If Anne is smart then Anne is young.
Charlie is not big.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4 OR ((triple3) -> rule1) OR ((triple3) -> rule3))] Charlie is big.[(triple5)] Charlie is blue.[(triple6)] Charlie is cold.[(triple7)] Charlie is kind.[(triple8)] Charlie is quiet.[(triple9)] Charlie is young.[(triple10)] Erin is big.[(triple11)] Erin is blue.[(triple12)] Erin is cold.[(triple13)] Erin is kind.[(triple14)] Erin is smart.[(triple15)] Erin is young.[(triple16 OR ((triple15) -> rule1))]