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