The bear chases the cow. The bear chases the lion. The bear eats the lion. The bear is not rough. The bear is round. The bear visits the cow. The bear visits the lion. The cow does not eat the lion. The cow is kind. The cow is round. The cow visits the bear. The cow visits the lion. The lion chases the cow. The lion visits the bear. The lion visits the cow. If something eats the lion then it does not visit the bear.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is not rough.
("bear" "is" "rough" "-")
The bear is round.
("bear" "is" "round" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The cow does not eat the lion.
("cow" "eats" "lion" "-")
The cow is kind.
("cow" "is" "kind" "+")
The cow is round.
("cow" "is" "round" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
If something eats the lion then it does not visit the bear.
((("something" "eats" "lion" "+")) -> ("something" "visits" "bear" "-"))
The lion visits the bear.
True
1
proof
[(triple14)]
("lion" "visits" "bear" "+")
triple14
The lion does not visit the bear.
False
1
inv-proof
[(triple14)]
("lion" "visits" "bear" "-")
triple14
The bear does not visit the bear.
True
2
proof
[(((triple3) -> rule1))]
("bear" "visits" "bear" "-")
((triple3) -> (rule1 % int1))
The bear does not visit the bear.
("bear" "visits" "bear" "-")
int1
The bear visits the bear.
False
2
inv-proof
[(((triple3) -> rule1))]
("bear" "visits" "bear" "+")
((triple3) -> (rule1 % int1))
The bear does not visit the bear.
("bear" "visits" "bear" "-")
int1
The lion is not nice.
Unknown
inv-random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The lion eats the bear.
Unknown
random
[@0: The lion eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bear" "+")
@0: The bear chases the cow.[(triple1)] The bear chases the lion.[(triple2)] The bear eats the lion.[(triple3)] The bear is not rough.[(triple4)] The bear is round.[(triple5)] The bear visits the cow.[(triple6)] The bear visits the lion.[(triple7)] The cow does not eat the lion.[(triple8)] The cow is kind.[(triple9)] The cow is round.[(triple10)] The cow visits the bear.[(triple11)] The cow visits the lion.[(triple12)] The lion chases the cow.[(triple13)] The lion visits the bear.[(triple14)] The lion visits the cow.[(triple15)] @1: The bear does not visit the bear.[(((triple3) -> rule1))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear chases the lion.
("bear" "chases" "lion" "+")
triple2
The bear eats the lion.
("bear" "eats" "lion" "+")
triple3
The bear is not rough.
("bear" "is" "rough" "-")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear visits the cow.
("bear" "visits" "cow" "+")
triple6
The bear visits the lion.
("bear" "visits" "lion" "+")
triple7
The cow does not eat the lion.
("cow" "eats" "lion" "-")
triple8
The cow is kind.
("cow" "is" "kind" "+")
triple9
The cow is round.
("cow" "is" "round" "+")
triple10
The cow visits the bear.
("cow" "visits" "bear" "+")
triple11
The cow visits the lion.
("cow" "visits" "lion" "+")
triple12
The lion chases the cow.
("lion" "chases" "cow" "+")
triple13
The lion visits the bear.
("lion" "visits" "bear" "+")
triple14
The lion visits the cow.
("lion" "visits" "cow" "+")
triple15
The bear does not visit the bear.
("bear" "visits" "bear" "-")
((triple3) -> (rule1 % int1))
The bear does not visit the bear.
("bear" "visits" "bear" "-")
int1