The cow is green. The cow is nice. The cow is rough. The cow is round. The cow is young. Young things are nice. If the cow is round and the cow is nice then the cow is young.
The cow is not nice.
@0: The cow is green.[(triple1)] The cow is nice.[(triple2 OR ((triple5) -> rule1))] The cow is rough.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5 OR ((triple4 triple2) -> rule2))]