The cat chases the dog. The cat chases the mouse. The cat sees the tiger. The dog chases the cat. The dog chases the mouse. The dog is cold. The dog is kind. The dog needs the cat. The dog needs the tiger. The mouse is cold. The mouse is red. The mouse is round. The mouse needs the dog. The tiger chases the cat. The tiger is kind. If someone needs the dog and they chase the tiger then the tiger sees the mouse. If the mouse sees the dog then the mouse chases the dog. If someone needs the dog and they need the cat then they chase the dog. If someone sees the mouse then the mouse needs the tiger. If someone is round and they need the cat then they see the mouse. If someone needs the mouse and they need the cat then the cat needs the mouse.
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
If someone needs the dog and they chase the tiger then the tiger sees the mouse.
((("someone" "needs" "dog" "+") ("someone" "chases" "tiger" "+")) -> ("tiger" "sees" "mouse" "+"))
If the mouse sees the dog then the mouse chases the dog.
((("mouse" "sees" "dog" "+")) -> ("mouse" "chases" "dog" "+"))
If someone needs the dog and they need the cat then they chase the dog.
((("someone" "needs" "dog" "+") ("someone" "needs" "cat" "+")) -> ("someone" "chases" "dog" "+"))
If someone sees the mouse then the mouse needs the tiger.
((("someone" "sees" "mouse" "+")) -> ("mouse" "needs" "tiger" "+"))
If someone is round and they need the cat then they see the mouse.
((("someone" "is" "round" "+") ("someone" "needs" "cat" "+")) -> ("someone" "sees" "mouse" "+"))
If someone needs the mouse and they need the cat then the cat needs the mouse.
((("someone" "needs" "mouse" "+") ("someone" "needs" "cat" "+")) -> ("cat" "needs" "mouse" "+"))
The mouse is red.
True
1
proof
[(triple11)]
("mouse" "is" "red" "+")
triple11
The dog is not cold.
False
1
inv-proof
[(triple6)]
("dog" "is" "cold" "-")
triple6
The dog does not see the mouse.
Unknown
inv-rconc
[@1: The dog sees the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "sees" "mouse" "-")
The cat needs the tiger.
Unknown
random
[@0: The cat needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "tiger" "+")
@0: The cat chases the dog.[(triple1)] The cat chases the mouse.[(triple2)] The cat sees the tiger.[(triple3)] The dog chases the cat.[(triple4)] The dog chases the mouse.[(triple5)] The dog is cold.[(triple6)] The dog is kind.[(triple7)] The dog needs the cat.[(triple8)] The dog needs the tiger.[(triple9)] The mouse is cold.[(triple10)] The mouse is red.[(triple11)] The mouse is round.[(triple12)] The mouse needs the dog.[(triple13)] The tiger chases the cat.[(triple14)] The tiger is kind.[(triple15)]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple2
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple3
The dog chases the cat.
("dog" "chases" "cat" "+")
triple4
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple5
The dog is cold.
("dog" "is" "cold" "+")
triple6
The dog is kind.
("dog" "is" "kind" "+")
triple7
The dog needs the cat.
("dog" "needs" "cat" "+")
triple8
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple9
The mouse is cold.
("mouse" "is" "cold" "+")
triple10
The mouse is red.
("mouse" "is" "red" "+")
triple11
The mouse is round.
("mouse" "is" "round" "+")
triple12
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple13
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple14
The tiger is kind.
("tiger" "is" "kind" "+")
triple15