The cow is green. The cow likes the dog. The dog is green. The dog is young. The dog likes the cow. The dog likes the mouse. The dog likes the rabbit. The dog needs the rabbit. The dog sees the cow. The dog sees the rabbit. The mouse is round. The mouse is young. The mouse needs the rabbit. The rabbit is green. The rabbit sees the mouse. If someone likes the cow and they need the rabbit then the rabbit needs the cow. If someone sees the cow then the cow needs the mouse. If someone needs the mouse and they like the dog then they are round.
The mouse needs the rabbit.
@0: The cow is green.[(triple1)] The cow likes the dog.[(triple2)] The dog is green.[(triple3)] The dog is young.[(triple4)] The dog likes the cow.[(triple5)] The dog likes the mouse.[(triple6)] The dog likes the rabbit.[(triple7)] The dog needs the rabbit.[(triple8)] The dog sees the cow.[(triple9)] The dog sees the rabbit.[(triple10)] The mouse is round.[(triple11)] The mouse is young.[(triple12)] The mouse needs the rabbit.[(triple13)] The rabbit is green.[(triple14)] The rabbit sees the mouse.[(triple15)] @1: The cow needs the mouse.[(((triple9) -> rule2))] The rabbit needs the cow.[(((triple5 triple8) -> rule1))] @2: The cow is round.[(((((triple9) -> rule2) triple2) -> rule3))]