The cow is blue. The cow is green. The cow is kind. The cow is nice. The cow is young. If someone is blue and green then they are young. If someone is green and blue then they are young. Blue people are nice.
The cow is young.
@0: The cow is blue.[(triple1)] The cow is green.[(triple2)] The cow is kind.[(triple3)] The cow is nice.[(triple4 OR ((triple1) -> rule3))] The cow is young.[(triple5 OR ((triple1 triple2) -> rule1) OR ((triple2 triple1) -> rule2))]