The cow is round. The cow likes the mouse. The dog chases the cow. The dog likes the cow. The dog likes the tiger. The mouse is rough. The mouse likes the cow. The tiger is red. The tiger is young. The tiger likes the mouse. The tiger sees the cow. The tiger sees the dog. If something is young and it sees the tiger then it is red. If something likes the mouse and the mouse likes the cow then the mouse is young. If something is round then it is red.
The mouse is not red.
@0: The cow is round.[(triple1)] The cow likes the mouse.[(triple2)] The dog chases the cow.[(triple3)] The dog likes the cow.[(triple4)] The dog likes the tiger.[(triple5)] The mouse is rough.[(triple6)] The mouse likes the cow.[(triple7)] The tiger is red.[(triple8)] The tiger is young.[(triple9)] The tiger likes the mouse.[(triple10)] The tiger sees the cow.[(triple11)] The tiger sees the dog.[(triple12)] @1: The cow is red.[(((triple1) -> rule3))] The mouse is young.[(((triple10 triple7) -> rule2) OR ((triple2 triple7) -> rule2))]