Anne is big. Anne is kind. Anne is quiet. Charlie is big. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is white. Charlie is young. Harry is big. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is white. Harry is young. If something is big and green then it is kind. If something is kind and young then it is big. If Anne is kind and Anne is young then Anne is big.
Charlie is not green.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Charlie is big.[(triple4 OR ((triple5 triple9) -> rule2))] Charlie is kind.[(triple5)] Charlie is quiet.[(triple6)] Charlie is red.[(triple7)] Charlie is white.[(triple8)] Charlie is young.[(triple9)] Harry is big.[(triple10 OR ((triple12 triple16) -> rule2))] Harry is green.[(triple11)] Harry is kind.[(triple12 OR ((triple10 triple11) -> rule1))] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)]