The cow does not visit the lion. The dog eats the lion. The dog does not visit the squirrel. The lion eats the cow. The lion is blue. The lion visits the cow. The squirrel visits the cow. If someone visits the cow and the cow does not eat the lion then they do not eat the cow. If someone visits the cow then they eat the cow. If someone visits the lion then they see the cow. If someone sees the lion and the lion is not blue then they visit the squirrel. If the cow does not see the squirrel then the squirrel sees the dog. If someone sees the lion then the lion visits the dog. If someone sees the dog and they are not cold then the dog is not big. If someone is blue and they see the lion then the lion visits the cow.
The cow does not visit the lion.
("cow" "visits" "lion" "-")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog does not visit the squirrel.
("dog" "visits" "squirrel" "-")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If someone visits the cow and the cow does not eat the lion then they do not eat the cow.
((("someone" "visits" "cow" "+") ("cow" "eats" "lion" "~")) -> ("someone" "eats" "cow" "-"))
If someone visits the cow then they eat the cow.
((("someone" "visits" "cow" "+")) -> ("someone" "eats" "cow" "+"))
If someone visits the lion then they see the cow.
((("someone" "visits" "lion" "+")) -> ("someone" "sees" "cow" "+"))
If someone sees the lion and the lion is not blue then they visit the squirrel.
((("someone" "sees" "lion" "+") ("lion" "is" "blue" "~")) -> ("someone" "visits" "squirrel" "+"))
If the cow does not see the squirrel then the squirrel sees the dog.
((("cow" "sees" "squirrel" "~")) -> ("squirrel" "sees" "dog" "+"))
If someone sees the lion then the lion visits the dog.
((("someone" "sees" "lion" "+")) -> ("lion" "visits" "dog" "+"))
If someone sees the dog and they are not cold then the dog is not big.
((("someone" "sees" "dog" "+") ("someone" "is" "cold" "~")) -> ("dog" "is" "big" "-"))
If someone is blue and they see the lion then the lion visits the cow.
((("someone" "is" "blue" "+") ("someone" "sees" "lion" "+")) -> ("lion" "visits" "cow" "+"))
The lion is blue.
True
1
proof
[(triple5)]
("lion" "is" "blue" "+")
triple5
The dog visits the squirrel.
False
1
inv-proof
[(triple3)]
("dog" "visits" "squirrel" "+")
triple3
The squirrel eats the cow.
True
2
proof
[(((triple7) -> rule2))]
("squirrel" "eats" "cow" "+")
((triple7) -> (rule2 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel does not eat the cow.
False
2
inv-proof
[(((triple7) -> rule2))]
("squirrel" "eats" "cow" "-")
((triple7) -> (rule2 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The lion does not see the cow.
Unknown
inv-rconc
[@1: The lion sees the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "sees" "cow" "-")
The squirrel visits the squirrel.
Unknown
rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "visits" "squirrel" "+")
The lion is not rough.
Unknown
inv-random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The cow does not visit the lion.[(triple1)] The dog does not visit the squirrel.[(triple3)] The dog eats the lion.[(triple2)] The lion eats the cow.[(triple4 OR ((triple6) -> rule2))] The lion is blue.[(triple5)] The lion visits the cow.[(triple6)] The squirrel visits the cow.[(triple7)] @1: The squirrel eats the cow.[(((triple7) -> rule2))]
The cow does not visit the lion.
("cow" "visits" "lion" "-")
triple1
The dog does not visit the squirrel.
("dog" "visits" "squirrel" "-")
triple3
The dog eats the lion.
("dog" "eats" "lion" "+")
triple2
The lion eats the cow.
("lion" "eats" "cow" "+")
triple4
((triple6) -> (rule2 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
triple5
The lion visits the cow.
("lion" "visits" "cow" "+")
triple6
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple7
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
((triple7) -> (rule2 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1