The cow eats the mouse. The cow is round. The cow does not see the lion. The cow sees the squirrel. The cow visits the lion. The lion sees the mouse. The mouse is not green. The mouse is young. The mouse does not visit the cow. The squirrel eats the cow. The squirrel sees the mouse. The squirrel visits the lion. If someone visits the lion then they see the squirrel. If someone eats the lion then the lion sees the cow. If someone sees the cow then they do not eat the lion. If someone is red and they visit the lion then they are round. If someone is round and they see the lion then the lion eats the mouse. If someone sees the squirrel and they do not eat the squirrel then they do not see the lion. If someone is round and they see the lion then they are big. If someone is round and they do not see the cow then the cow does not see the squirrel.
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is round.
("cow" "is" "round" "+")
The cow does not see the lion.
("cow" "sees" "lion" "-")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse is not green.
("mouse" "is" "green" "-")
The mouse is young.
("mouse" "is" "young" "+")
The mouse does not visit the cow.
("mouse" "visits" "cow" "-")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If someone visits the lion then they see the squirrel.
((("someone" "visits" "lion" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone eats the lion then the lion sees the cow.
((("someone" "eats" "lion" "+")) -> ("lion" "sees" "cow" "+"))
If someone sees the cow then they do not eat the lion.
((("someone" "sees" "cow" "+")) -> ("someone" "eats" "lion" "-"))
If someone is red and they visit the lion then they are round.
((("someone" "is" "red" "+") ("someone" "visits" "lion" "+")) -> ("someone" "is" "round" "+"))
If someone is round and they see the lion then the lion eats the mouse.
((("someone" "is" "round" "+") ("someone" "sees" "lion" "+")) -> ("lion" "eats" "mouse" "+"))
If someone sees the squirrel and they do not eat the squirrel then they do not see the lion.
((("someone" "sees" "squirrel" "+") ("someone" "eats" "squirrel" "~")) -> ("someone" "sees" "lion" "-"))
If someone is round and they see the lion then they are big.
((("someone" "is" "round" "+") ("someone" "sees" "lion" "+")) -> ("someone" "is" "big" "+"))
If someone is round and they do not see the cow then the cow does not see the squirrel.
((("someone" "is" "round" "+") ("someone" "sees" "cow" "~")) -> ("cow" "sees" "squirrel" "-"))
The squirrel sees the mouse.
True
1
proof
[(triple11)]
("squirrel" "sees" "mouse" "+")
triple11
The mouse is not young.
False
1
inv-proof
[(triple8)]
("mouse" "is" "young" "-")
triple8
The squirrel sees the squirrel.
True
2
proof
[(((triple12) -> rule1))]
("squirrel" "sees" "squirrel" "+")
((triple12) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel does not see the squirrel.
False
2
inv-proof
[(((triple12) -> rule1))]
("squirrel" "sees" "squirrel" "-")
((triple12) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The lion is not big.
Unknown
inv-rconc
[@1: The lion is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "is" "big" "-")
The squirrel is big.
Unknown
rconc
[@1: The squirrel is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "is" "big" "+")
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The cow does not see the lion.[(triple3)] The cow eats the mouse.[(triple1)] The cow is round.[(triple2)] The cow sees the squirrel.[(triple4 OR ((triple5) -> rule1))] The cow visits the lion.[(triple5)] The lion sees the mouse.[(triple6)] The mouse does not visit the cow.[(triple9)] The mouse is not green.[(triple7)] The mouse is young.[(triple8)] The squirrel eats the cow.[(triple10)] The squirrel sees the mouse.[(triple11)] The squirrel visits the lion.[(triple12)] @1: The squirrel sees the squirrel.[(((triple12) -> rule1))]
The cow does not see the lion.
("cow" "sees" "lion" "-")
triple3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
triple2
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple4
((triple5) -> (rule1 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The cow visits the lion.
("cow" "visits" "lion" "+")
triple5
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple6
The mouse does not visit the cow.
("mouse" "visits" "cow" "-")
triple9
The mouse is not green.
("mouse" "is" "green" "-")
triple7
The mouse is young.
("mouse" "is" "young" "+")
triple8
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple10
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple11
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple12
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple12) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1