The cow is big. The cow is green. The cow is kind. The cow is rough. The cow is round. All kind, green people are round. If the cow is big then the cow is rough.
The cow is not round.
@0: The cow is big.[(triple1)] The cow is green.[(triple2)] The cow is kind.[(triple3)] The cow is rough.[(triple4 OR ((triple1) -> rule2))] The cow is round.[(triple5 OR ((triple3 triple2) -> rule1))]