The bear eats the cow. The bear is big. The bear is not round. The bear is young. The bear does not need the cow. The bear visits the cow. The cow does not eat the bear. The cow is big. The cow is young. The cow visits the bear. If the cow needs the bear and the bear does not visit the cow then the cow eats the bear. If someone visits the cow and the cow does not need the bear then they are not round. If someone visits the cow then they do not need the cow. If someone is big and not round then they eat the bear. If someone eats the bear then they are blue. If someone is blue then they eat the cow.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is not round.
("bear" "is" "round" "-")
The bear is young.
("bear" "is" "young" "+")
The bear does not need the cow.
("bear" "needs" "cow" "-")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow does not eat the bear.
("cow" "eats" "bear" "-")
The cow is big.
("cow" "is" "big" "+")
The cow is young.
("cow" "is" "young" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
If the cow needs the bear and the bear does not visit the cow then the cow eats the bear.
((("cow" "needs" "bear" "+") ("bear" "visits" "cow" "~")) -> ("cow" "eats" "bear" "+"))
If someone visits the cow and the cow does not need the bear then they are not round.
((("someone" "visits" "cow" "+") ("cow" "needs" "bear" "~")) -> ("someone" "is" "round" "-"))
If someone visits the cow then they do not need the cow.
((("someone" "visits" "cow" "+")) -> ("someone" "needs" "cow" "-"))
If someone is big and not round then they eat the bear.
((("someone" "is" "big" "+") ("someone" "is" "round" "~")) -> ("someone" "eats" "bear" "+"))
If someone eats the bear then they are blue.
((("someone" "eats" "bear" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue then they eat the cow.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "cow" "+"))
The bear is young.
True
1
proof
[(triple4)]
("bear" "is" "young" "+")
triple4
The cow eats the bear.
False
1
inv-proof
[(triple7)]
("cow" "eats" "bear" "+")
triple7
The bear eats the bear.
True
3
proof
[(((triple2 triple3) -> rule4))]
("bear" "eats" "bear" "+")
((triple2 triple3) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear does not eat the bear.
False
3
inv-proof
[(((triple2 triple3) -> rule4))]
("bear" "eats" "bear" "-")
((triple2 triple3) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is blue.
True
4
proof
[(((((triple2 triple3) -> rule4)) -> rule5))]
("bear" "is" "blue" "+")
((((triple2 triple3) -> (rule4 % int2))) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is not blue.
False
4
inv-proof
[(((((triple2 triple3) -> rule4)) -> rule5))]
("bear" "is" "blue" "-")
((((triple2 triple3) -> (rule4 % int2))) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The cow is not blue.
Unknown
inv-rconc
[@1: The cow is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "blue" "-")
The cow eats the cow.
Unknown
rconc
[@2: The cow eats the cow.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("cow" "eats" "cow" "+")
The cow is not round.
Unknown
inv-random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The bear does not need the cow.[(triple5 OR ((triple6) -> rule3))] The bear eats the cow.[(triple1 OR ((((((triple2 triple3) -> rule4)) -> rule5)) -> rule6))] The bear is big.[(triple2)] The bear is not round.[(triple3)] The bear is young.[(triple4)] The bear visits the cow.[(triple6)] The cow does not eat the bear.[(triple7)] The cow is big.[(triple8)] The cow is young.[(triple9)] The cow visits the bear.[(triple10)] @1: The bear eats the bear.[(((triple2 triple3) -> rule4))] @2: The bear is blue.[(((((triple2 triple3) -> rule4)) -> rule5))]
The bear does not need the cow.
("bear" "needs" "cow" "-")
triple5
((triple6) -> (rule3 % int1))
The bear does not need the cow.
("bear" "needs" "cow" "-")
int1
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
((((((triple2 triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is not round.
("bear" "is" "round" "-")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear visits the cow.
("bear" "visits" "cow" "+")
triple6
The cow does not eat the bear.
("cow" "eats" "bear" "-")
triple7
The cow is big.
("cow" "is" "big" "+")
triple8
The cow is young.
("cow" "is" "young" "+")
triple9
The cow visits the bear.
("cow" "visits" "bear" "+")
triple10
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple2 triple3) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
((((triple2 triple3) -> (rule4 % int2))) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2