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