The cat chases the mouse. The cat is big. The cat is rough. The cat likes the dog. The dog chases the cat. The dog is blue. The dog is round. The dog likes the cat. The dog needs the mouse. The mouse chases the cat. The mouse chases the dog. The mouse is blue. The mouse is green. The mouse likes the cat. The mouse likes the dog. If someone needs the dog and the dog likes the mouse then the dog needs the mouse. If someone likes the cat then they need the mouse. If someone needs the mouse and the mouse likes the cat then the mouse is rough. If the dog likes the cat and the dog chases the cat then the cat likes the mouse. If someone likes the dog then they like the mouse. If the mouse chases the cat then the mouse is big. If someone needs the mouse and the mouse is blue then they need the dog. If someone needs the dog then the dog likes the mouse.
The cat does not need the dog.
@0: The cat chases the mouse.[(triple1)] The cat is big.[(triple2)] The cat is rough.[(triple3)] The cat likes the dog.[(triple4)] The dog chases the cat.[(triple5)] The dog is blue.[(triple6)] The dog is round.[(triple7)] The dog likes the cat.[(triple8)] The dog needs the mouse.[(triple9 OR ((triple8) -> rule2) OR ((((((triple14) -> rule2) triple12) -> rule7) ((((((triple14) -> rule2) triple12) -> rule7)) -> rule8)) -> rule1))] The mouse chases the cat.[(triple10)] The mouse chases the dog.[(triple11)] The mouse is blue.[(triple12)] The mouse is green.[(triple13)] The mouse likes the cat.[(triple14)] The mouse likes the dog.[(triple15)] @1: The cat likes the mouse.[(((triple4) -> rule5) OR ((triple8 triple5) -> rule4))] The dog needs the dog.[(((triple9 triple12) -> rule7) OR ((((triple8) -> rule2) triple12) -> rule7) OR ((((((((triple14) -> rule2) triple12) -> rule7) ((((((triple14) -> rule2) triple12) -> rule7)) -> rule8)) -> rule1) triple12) -> rule7))] The mouse is big.[(((triple10) -> rule6))] The mouse is rough.[(((triple9 triple14) -> rule3) OR ((((triple14) -> rule2) triple14) -> rule3) OR ((((triple8) -> rule2) triple14) -> rule3) OR ((((((((triple14) -> rule2) triple12) -> rule7) ((((((triple14) -> rule2) triple12) -> rule7)) -> rule8)) -> rule1) triple14) -> rule3))] The mouse likes the mouse.[(((triple15) -> rule5))] The mouse needs the mouse.[(((triple14) -> rule2))] @2: The dog likes the mouse.[(((((triple9 triple12) -> rule7)) -> rule8) OR ((((((triple14) -> rule2) triple12) -> rule7)) -> rule8) OR ((((((triple8) -> rule2) triple12) -> rule7)) -> rule8))] The mouse needs the dog.[(((((triple14) -> rule2) triple12) -> rule7))]