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