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