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