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