The cow is blue. The cow is green. The cow is rough. The cow is round. The cow is young. If someone is green and not blue then they are not young. Green people are young. All green people are young. If someone is round then they are green. If the cow is round and the cow is not blue then the cow is young. If the cow is green and the cow is not round then the cow is young.
The cow eats the cow.
@0: The cow is blue.[(triple1)] The cow is green.[(triple2 OR ((triple4) -> rule4))] The cow is rough.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5 OR ((triple2) -> rule2) OR ((triple2) -> rule3) OR ((((triple4) -> rule4)) -> rule2) OR ((((triple4) -> rule4)) -> rule3))]