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