The cow is green. The cow is kind. The cow is young. The cow needs the mouse. The cow visits the mouse. The mouse eats the cow. The mouse is green. The mouse is kind. The mouse is red. The mouse is young. The mouse needs the cow. The mouse visits the cow. If someone visits the cow then the cow needs the mouse. If someone is red and they visit the mouse then they are young.
The mouse is green.
@0: The cow is green.[(triple1)] The cow is kind.[(triple2)] The cow is young.[(triple3)] The cow needs the mouse.[(triple4 OR ((triple12) -> rule1))] The cow visits the mouse.[(triple5)] The mouse eats the cow.[(triple6)] The mouse is green.[(triple7)] The mouse is kind.[(triple8)] The mouse is red.[(triple9)] The mouse is young.[(triple10)] The mouse needs the cow.[(triple11)] The mouse visits the cow.[(triple12)]