The bald eagle chases the mouse. The bald eagle chases the tiger. The mouse chases the squirrel. The mouse is big. The mouse is blue. The mouse sees the tiger. The mouse visits the tiger. The squirrel is big. The squirrel is rough. The tiger sees the squirrel. The tiger visits the mouse. The tiger visits the squirrel. If someone sees the tiger then the tiger chases the squirrel. If someone is round and they see the tiger then the tiger sees the squirrel. If someone chases the bald eagle and they visit the bald eagle then they visit the mouse.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone sees the tiger then the tiger chases the squirrel.
((("someone" "sees" "tiger" "+")) -> ("tiger" "chases" "squirrel" "+"))
If someone is round and they see the tiger then the tiger sees the squirrel.
((("someone" "is" "round" "+") ("someone" "sees" "tiger" "+")) -> ("tiger" "sees" "squirrel" "+"))
If someone chases the bald eagle and they visit the bald eagle then they visit the mouse.
((("someone" "chases" "bald eagle" "+") ("someone" "visits" "bald eagle" "+")) -> ("someone" "visits" "mouse" "+"))
The mouse chases the squirrel.
True
1
proof
[(triple3)]
("mouse" "chases" "squirrel" "+")
triple3
The tiger does not visit the mouse.
False
1
inv-proof
[(triple11)]
("tiger" "visits" "mouse" "-")
triple11
The squirrel does not visit the mouse.
Unknown
inv-rconc
[@1: The squirrel visits the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "visits" "mouse" "-")
The tiger visits the bald eagle.
Unknown
random
[@0: The tiger visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "bald eagle" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle chases the tiger.[(triple2)] The mouse chases the squirrel.[(triple3)] The mouse is big.[(triple4)] The mouse is blue.[(triple5)] The mouse sees the tiger.[(triple6)] The mouse visits the tiger.[(triple7)] The squirrel is big.[(triple8)] The squirrel is rough.[(triple9)] The tiger sees the squirrel.[(triple10)] The tiger visits the mouse.[(triple11)] The tiger visits the squirrel.[(triple12)] @1: The tiger chases the squirrel.[(((triple6) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple3
The mouse is big.
("mouse" "is" "big" "+")
triple4
The mouse is blue.
("mouse" "is" "blue" "+")
triple5
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple6
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple7
The squirrel is big.
("squirrel" "is" "big" "+")
triple8
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple10
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple11
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple12
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
((triple6) -> (rule1 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1