The cat chases the mouse. The cat chases the tiger. The cat eats the tiger. The cat is round. The cat sees the squirrel. The mouse is cold. The mouse is green. The mouse sees the tiger. The squirrel chases the mouse. The tiger sees the cat. If someone eats the squirrel and they see the mouse then the squirrel is round. If someone is green and they eat the tiger then the tiger chases the cat. If someone is blue then they eat the cat. If the tiger eats the cat and the tiger chases the squirrel then the cat chases the squirrel. If someone sees the cat and the cat is cold then they chase the mouse. If the tiger eats the mouse and the mouse sees the squirrel then the mouse eats the tiger.
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If someone eats the squirrel and they see the mouse then the squirrel is round.
((("someone" "eats" "squirrel" "+") ("someone" "sees" "mouse" "+")) -> ("squirrel" "is" "round" "+"))
If someone is green and they eat the tiger then the tiger chases the cat.
((("someone" "is" "green" "+") ("someone" "eats" "tiger" "+")) -> ("tiger" "chases" "cat" "+"))
If someone is blue then they eat the cat.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "cat" "+"))
If the tiger eats the cat and the tiger chases the squirrel then the cat chases the squirrel.
((("tiger" "eats" "cat" "+") ("tiger" "chases" "squirrel" "+")) -> ("cat" "chases" "squirrel" "+"))
If someone sees the cat and the cat is cold then they chase the mouse.
((("someone" "sees" "cat" "+") ("cat" "is" "cold" "+")) -> ("someone" "chases" "mouse" "+"))
If the tiger eats the mouse and the mouse sees the squirrel then the mouse eats the tiger.
((("tiger" "eats" "mouse" "+") ("mouse" "sees" "squirrel" "+")) -> ("mouse" "eats" "tiger" "+"))
The tiger sees the cat.
True
1
proof
[(triple10)]
("tiger" "sees" "cat" "+")
triple10
The tiger does not see the cat.
False
1
inv-proof
[(triple10)]
("tiger" "sees" "cat" "-")
triple10
The cat does not chase the squirrel.
Unknown
inv-rconc
[@1: The cat chases the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "chases" "squirrel" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The cat chases the mouse.[(triple1)] The cat chases the tiger.[(triple2)] The cat eats the tiger.[(triple3)] The cat is round.[(triple4)] The cat sees the squirrel.[(triple5)] The mouse is cold.[(triple6)] The mouse is green.[(triple7)] The mouse sees the tiger.[(triple8)] The squirrel chases the mouse.[(triple9)] The tiger sees the cat.[(triple10)]
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple2
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple5
The mouse is cold.
("mouse" "is" "cold" "+")
triple6
The mouse is green.
("mouse" "is" "green" "+")
triple7
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple8
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple9
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple10