The bear visits the cow. The cow eats the squirrel. The cow likes the bear. The cow likes the lion. The cow visits the squirrel. The lion eats the bear. The lion eats the cow. The lion eats the squirrel. The lion visits the bear. The squirrel likes the bear. If something visits the bear and the bear does not eat the squirrel then the bear eats the cow. If the bear is nice then the bear does not visit the cow. If something is young and nice then it visits the cow. If something is blue and not nice then it likes the cow. If something eats the bear and it does not like the squirrel then it is young. If something likes the bear then the bear does not like the cow.
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
If something visits the bear and the bear does not eat the squirrel then the bear eats the cow.
((("something" "visits" "bear" "+") ("bear" "eats" "squirrel" "~")) -> ("bear" "eats" "cow" "+"))
If the bear is nice then the bear does not visit the cow.
((("bear" "is" "nice" "+")) -> ("bear" "visits" "cow" "-"))
If something is young and nice then it visits the cow.
((("something" "is" "young" "+") ("something" "is" "nice" "+")) -> ("something" "visits" "cow" "+"))
If something is blue and not nice then it likes the cow.
((("something" "is" "blue" "+") ("something" "is" "nice" "~")) -> ("something" "likes" "cow" "+"))
If something eats the bear and it does not like the squirrel then it is young.
((("something" "eats" "bear" "+") ("something" "likes" "squirrel" "~")) -> ("something" "is" "young" "+"))
If something likes the bear then the bear does not like the cow.
((("something" "likes" "bear" "+")) -> ("bear" "likes" "cow" "-"))
The bear visits the cow.
True
1
proof
[(triple1)]
("bear" "visits" "cow" "+")
triple1
The bear does not visit the cow.
False
1
inv-proof
[(triple1)]
("bear" "visits" "cow" "-")
triple1
The cow does not like the cow.
Unknown
inv-rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "likes" "cow" "-")
The lion visits the squirrel.
Unknown
random
[@0: The lion visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "squirrel" "+")
@0: The bear visits the cow.[(triple1)] The cow eats the squirrel.[(triple2)] The cow likes the bear.[(triple3)] The cow likes the lion.[(triple4)] The cow visits the squirrel.[(triple5)] The lion eats the bear.[(triple6)] The lion eats the cow.[(triple7)] The lion eats the squirrel.[(triple8)] The lion visits the bear.[(triple9)] The squirrel likes the bear.[(triple10)] @1: The bear does not like the cow.[(((triple10) -> rule6) OR ((triple3) -> rule6))]
The bear visits the cow.
("bear" "visits" "cow" "+")
triple1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
The cow likes the bear.
("cow" "likes" "bear" "+")
triple3
The cow likes the lion.
("cow" "likes" "lion" "+")
triple4
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple5
The lion eats the bear.
("lion" "eats" "bear" "+")
triple6
The lion eats the cow.
("lion" "eats" "cow" "+")
triple7
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple8
The lion visits the bear.
("lion" "visits" "bear" "+")
triple9
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple10
The bear does not like the cow.
("bear" "likes" "cow" "-")
((triple10) -> (rule6 % int1))
The bear does not like the cow.
("bear" "likes" "cow" "-")
int1
((triple3) -> (rule6 % int1))
The bear does not like the cow.
("bear" "likes" "cow" "-")
int1