The cow is not blue. The cow is nice. The cow is red. The cow is round. The cow is young. If something is blue and round then it is young. If the cow is young then the cow is red.
The cow is nice.
@0: The cow is nice.[(triple2)] The cow is not blue.[(triple1)] The cow is red.[(triple3 OR ((triple5) -> rule2))] The cow is round.[(triple4)] The cow is young.[(triple5)]