Anne is big. Anne is blue. Anne is kind. Anne is young. Bob is blue. Bob is not kind. Bob is white. Charlie is big. Charlie is blue. Charlie is not rough. Charlie is white. Erin is blue. Erin is green. Erin is kind. Erin is white. Erin is young. If something is big and white then it is not green. All young things are green. Green things are young. Green things are young. If something is green and not white then it is big. Kind things are blue. All young, big things are blue. If something is young and not green then it is kind.
Charlie is not blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple3) -> rule6) OR ((triple4 triple1) -> rule7))] Anne is kind.[(triple3)] Anne is young.[(triple4)] Bob is blue.[(triple5)] Bob is not kind.[(triple6)] Bob is white.[(triple7)] Charlie is big.[(triple8)] Charlie is blue.[(triple9)] Charlie is not rough.[(triple10)] Charlie is white.[(triple11)] Erin is blue.[(triple12 OR ((triple14) -> rule6))] Erin is green.[(triple13 OR ((triple16) -> rule2))] Erin is kind.[(triple14)] Erin is white.[(triple15)] Erin is young.[(triple16 OR ((triple13) -> rule3) OR ((triple13) -> rule4))] @1: Anne is green.[(((triple4) -> rule2))] Charlie is not green.[(((triple8 triple11) -> rule1))]