The bear does not eat the cat. The bear eats the mouse. The cat chases the cow. The cat eats the mouse. The cat visits the cow. The cow chases the bear. The cow eats the cat. The cow is kind. The cow does not visit the bear. The cow visits the mouse. The mouse chases the cow. The mouse is blue. If something is blue and not kind then it visits the bear. If something is blue and it visits the mouse then it does not eat the bear. If something is rough and it chases the mouse then the mouse is not big. If something eats the cat then it chases the cat. If something chases the cat then it is blue. If something visits the bear and it does not eat the cat then the bear visits the cat. If the cow is nice and the cow does not chase the cat then the cow chases the bear. If something eats the mouse and it chases the bear then the mouse does not visit the bear.
The bear does not eat the cat.
("bear" "eats" "cat" "-")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow does not visit the bear.
("cow" "visits" "bear" "-")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
If something is blue and not kind then it visits the bear.
((("something" "is" "blue" "+") ("something" "is" "kind" "~")) -> ("something" "visits" "bear" "+"))
If something is blue and it visits the mouse then it does not eat the bear.
((("something" "is" "blue" "+") ("something" "visits" "mouse" "+")) -> ("something" "eats" "bear" "-"))
If something is rough and it chases the mouse then the mouse is not big.
((("something" "is" "rough" "+") ("something" "chases" "mouse" "+")) -> ("mouse" "is" "big" "-"))
If something eats the cat then it chases the cat.
((("something" "eats" "cat" "+")) -> ("something" "chases" "cat" "+"))
If something chases the cat then it is blue.
((("something" "chases" "cat" "+")) -> ("something" "is" "blue" "+"))
If something visits the bear and it does not eat the cat then the bear visits the cat.
((("something" "visits" "bear" "+") ("something" "eats" "cat" "~")) -> ("bear" "visits" "cat" "+"))
If the cow is nice and the cow does not chase the cat then the cow chases the bear.
((("cow" "is" "nice" "+") ("cow" "chases" "cat" "~")) -> ("cow" "chases" "bear" "+"))
If something eats the mouse and it chases the bear then the mouse does not visit the bear.
((("something" "eats" "mouse" "+") ("something" "chases" "bear" "+")) -> ("mouse" "visits" "bear" "-"))
The cow is kind.
True
1
proof
[(triple8)]
("cow" "is" "kind" "+")
triple8
The cow is not kind.
False
1
inv-proof
[(triple8)]
("cow" "is" "kind" "-")
triple8
The cow chases the cat.
True
2
proof
[(((triple7) -> rule4))]
("cow" "chases" "cat" "+")
((triple7) -> (rule4 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The cow does not chase the cat.
False
2
inv-proof
[(((triple7) -> rule4))]
("cow" "chases" "cat" "-")
((triple7) -> (rule4 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The cow is blue.
True
3
proof
[(((((triple7) -> rule4)) -> rule5))]
("cow" "is" "blue" "+")
((((triple7) -> (rule4 % int2))) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow chases the cat.
("cow" "chases" "cat" "+")
int2
The cow is not blue.
False
3
inv-proof
[(((((triple7) -> rule4)) -> rule5))]
("cow" "is" "blue" "-")
((((triple7) -> (rule4 % int2))) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow chases the cat.
("cow" "chases" "cat" "+")
int2
The cow does not eat the bear.
True
5
proof
[(((((((triple7) -> rule4)) -> rule5) triple10) -> rule2))]
("cow" "eats" "bear" "-")
((((((triple7) -> (rule4 % int3))) -> (rule5 % int2)) triple10) -> (rule2 % int1))
The cow does not eat the bear.
("cow" "eats" "bear" "-")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow chases the cat.
("cow" "chases" "cat" "+")
int3
The cow eats the bear.
False
5
inv-proof
[(((((((triple7) -> rule4)) -> rule5) triple10) -> rule2))]
("cow" "eats" "bear" "+")
((((((triple7) -> (rule4 % int3))) -> (rule5 % int2)) triple10) -> (rule2 % int1))
The cow does not eat the bear.
("cow" "eats" "bear" "-")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow chases the cat.
("cow" "chases" "cat" "+")
int3
The bear is not blue.
Unknown
inv-rconc
[@2: The bear is blue.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("bear" "is" "blue" "-")
The mouse visits the bear.
Unknown
rconc
[@1: The mouse visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "bear" "+")
The cat does not visit the bear.
Unknown
inv-rconc
[@1: The cat visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "visits" "bear" "-")
The bear chases the cat.
Unknown
rconc
[@1: The bear chases the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "chases" "cat" "+")
The mouse does not eat the bear.
Unknown
inv-random
[@0: The mouse eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bear" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
The mouse is not nice.
Unknown
inv-random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "-")
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 does not eat the cat.[(triple1)] The bear eats the mouse.[(triple2)] The cat chases the cow.[(triple3)] The cat eats the mouse.[(triple4)] The cat visits the cow.[(triple5)] The cow chases the bear.[(triple6)] The cow does not visit the bear.[(triple9)] The cow eats the cat.[(triple7)] The cow is kind.[(triple8)] The cow visits the mouse.[(triple10)] The mouse chases the cow.[(triple11)] The mouse is blue.[(triple12)] @1: The cow chases the cat.[(((triple7) -> rule4))] @2: The cow is blue.[(((((triple7) -> rule4)) -> rule5))] @3: The cow does not eat the bear.[(((((((triple7) -> rule4)) -> rule5) triple10) -> rule2))]
The bear does not eat the cat.
("bear" "eats" "cat" "-")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
The cat chases the cow.
("cat" "chases" "cow" "+")
triple3
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple4
The cat visits the cow.
("cat" "visits" "cow" "+")
triple5
The cow chases the bear.
("cow" "chases" "bear" "+")
triple6
The cow does not visit the bear.
("cow" "visits" "bear" "-")
triple9
The cow eats the cat.
("cow" "eats" "cat" "+")
triple7
The cow is kind.
("cow" "is" "kind" "+")
triple8
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple10
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple11
The mouse is blue.
("mouse" "is" "blue" "+")
triple12
The cow chases the cat.
("cow" "chases" "cat" "+")
((triple7) -> (rule4 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
((((triple7) -> (rule4 % int2))) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow chases the cat.
("cow" "chases" "cat" "+")
int2
The cow does not eat the bear.
("cow" "eats" "bear" "-")
((((((triple7) -> (rule4 % int3))) -> (rule5 % int2)) triple10) -> (rule2 % int1))
The cow does not eat the bear.
("cow" "eats" "bear" "-")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow chases the cat.
("cow" "chases" "cat" "+")
int3