The cow chases the lion. The cow chases the tiger. The cow is green. The cow sees the mouse. The cow sees the tiger. The lion is big. The lion sees the mouse. The mouse chases the cow. The mouse chases the lion. The mouse does not chase the tiger. The mouse is big. The mouse is cold. The mouse likes the lion. The mouse does not like the tiger. The mouse sees the tiger. The tiger does not chase the lion. If someone chases the tiger and they do not see the cow then they see the lion.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is green.
("cow" "is" "green" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The lion is big.
("lion" "is" "big" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse does not chase the tiger.
("mouse" "chases" "tiger" "-")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse does not like the tiger.
("mouse" "likes" "tiger" "-")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
If someone chases the tiger and they do not see the cow then they see the lion.
((("someone" "chases" "tiger" "+") ("someone" "sees" "cow" "~")) -> ("someone" "sees" "lion" "+"))
The tiger does not chase the lion.
True
1
proof
[(triple16)]
("tiger" "chases" "lion" "-")
triple16
The mouse is not big.
False
1
inv-proof
[(triple11)]
("mouse" "is" "big" "-")
triple11
The lion does not see the lion.
Unknown
inv-rconc
[@1: The lion sees the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "sees" "lion" "-")
The lion sees the cow.
Unknown
random
[@0: The lion sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "cow" "+")
@0: The cow chases the lion.[(triple1)] The cow chases the tiger.[(triple2)] The cow is green.[(triple3)] The cow sees the mouse.[(triple4)] The cow sees the tiger.[(triple5)] The lion is big.[(triple6)] The lion sees the mouse.[(triple7)] The mouse chases the cow.[(triple8)] The mouse chases the lion.[(triple9)] The mouse does not chase the tiger.[(triple10)] The mouse does not like the tiger.[(triple14)] The mouse is big.[(triple11)] The mouse is cold.[(triple12)] The mouse likes the lion.[(triple13)] The mouse sees the tiger.[(triple15)] The tiger does not chase the lion.[(triple16)]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple4
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple5
The lion is big.
("lion" "is" "big" "+")
triple6
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple7
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple8
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple9
The mouse does not chase the tiger.
("mouse" "chases" "tiger" "-")
triple10
The mouse does not like the tiger.
("mouse" "likes" "tiger" "-")
triple14
The mouse is big.
("mouse" "is" "big" "+")
triple11
The mouse is cold.
("mouse" "is" "cold" "+")
triple12
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple13
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple15
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
triple16