The cow is green. The cow likes the mouse. The cow needs the dog. The cow sees the dog. The cow sees the mouse. The dog is cold. The dog is green. The dog is round. The dog likes the cow. The dog likes the mouse. The dog sees the cow. The mouse sees the dog. If someone likes the dog and they are cold then the dog is big. If someone sees the cow and they are young then the cow needs the mouse. If the cow sees the mouse then the cow likes the dog. If someone sees the cow and they need the mouse then they are cold. If someone sees the cow and the cow sees the dog then the cow needs the dog. If someone sees the cow and the cow sees the mouse then the cow sees the dog.
The cow likes the mouse.
@0: The cow is green.[(triple1)] The cow likes the mouse.[(triple2)] The cow needs the dog.[(triple3 OR ((triple11 triple4) -> rule5) OR ((triple11 ((triple11 triple5) -> rule6)) -> rule5))] The cow sees the dog.[(triple4 OR ((triple11 triple5) -> rule6))] The cow sees the mouse.[(triple5)] The dog is cold.[(triple6)] The dog is green.[(triple7)] The dog is round.[(triple8)] The dog likes the cow.[(triple9)] The dog likes the mouse.[(triple10)] The dog sees the cow.[(triple11)] The mouse sees the dog.[(triple12)] @1: The cow likes the dog.[(((triple5) -> rule3))]