The cow is not blue. The cow is green. The cow is nice. The cow is not red. The cow is rough. If something is rough and not nice then it is green. If something is rough and not nice then it is green. Rough things are green. If something is blue and not red then it is not green. If the cow is nice then the cow is rough. All nice, blue things are rough. If something is nice and not red then it is rough. If the cow is red then the cow is green.
The cow is green.
@0: The cow is green.[(triple2 OR ((triple5) -> rule3) OR ((((triple3) -> rule5)) -> rule3) OR ((((triple3 triple4) -> rule7)) -> rule3))] The cow is nice.[(triple3)] The cow is not blue.[(triple1)] The cow is not red.[(triple4)] The cow is rough.[(triple5 OR ((triple3) -> rule5) OR ((triple3 triple4) -> rule7))]