The cat chases the mouse. The cat is not blue. The dog is blue. The dog needs the mouse. The mouse chases the dog. The mouse is rough. The mouse needs the cat. The mouse does not need the dog. The mouse sees the rabbit. The rabbit is rough. The rabbit needs the dog. The rabbit needs the mouse. If something sees the dog then the dog sees the rabbit. If something sees the rabbit and the rabbit is rough then the rabbit sees the dog. If something needs the mouse and it needs the cat then it is not round.
The dog is not cold.
@0: The cat chases the mouse.[(triple1)] The cat is not blue.[(triple2)] The dog is blue.[(triple3)] The dog needs the mouse.[(triple4)] The mouse chases the dog.[(triple5)] The mouse does not need the dog.[(triple8)] The mouse is rough.[(triple6)] The mouse needs the cat.[(triple7)] The mouse sees the rabbit.[(triple9)] The rabbit is rough.[(triple10)] The rabbit needs the dog.[(triple11)] The rabbit needs the mouse.[(triple12)] @1: The rabbit sees the dog.[(((triple9 triple10) -> rule2))] @2: The dog sees the rabbit.[(((((triple9 triple10) -> rule2)) -> rule1))]