The cow is blue. The cow is not green. The cow is rough. The cow is round. The cow is young. If the cow is green then the cow is round. If something is green then it is rough. Green, rough things are not young. All green, rough things are not young. If something is green and blue then it is not young. If the cow is not rough then the cow is young. If the cow is round then the cow is young. Young things are blue.
The cow is blue.
@0: The cow is blue.[(triple1 OR ((triple5) -> rule8) OR ((((triple4) -> rule7)) -> rule8))] The cow is not green.[(triple2)] The cow is rough.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5 OR ((triple4) -> rule7))]