The cow is not big. The cow is green. The cow is red. The cow is rough. The cow is not young. All green things are red. If something is green and not big then it is red. All young things are green.
The cow does not need the cow.
@0: The cow is green.[(triple2)] The cow is not big.[(triple1)] The cow is not young.[(triple5)] The cow is red.[(triple3 OR ((triple2) -> rule1) OR ((triple2 triple1) -> rule2))] The cow is rough.[(triple4)]