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