The bear does not eat the cat. The bear eats the mouse. The bear visits the cat. The cat eats the cow. The cat visits the cow. The cow eats the bear. The cow likes the bear. The cow visits the mouse. The mouse does not eat the bear. The mouse eats the cow. If someone visits the cow and they are not cold then the cow visits the cat. If someone is green then they are young. If the bear is big and the bear eats the cow then the cow is not big. If someone eats the bear then the bear likes the mouse. If someone likes the mouse then they are green. If someone visits the bear then they eat the bear. Young, green people are round. If someone is round then they do not visit the bear. If someone visits the bear then they are big.
The bear does not eat the cat.
("bear" "eats" "cat" "-")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
If someone visits the cow and they are not cold then the cow visits the cat.
((("someone" "visits" "cow" "+") ("someone" "is" "cold" "~")) -> ("cow" "visits" "cat" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If the bear is big and the bear eats the cow then the cow is not big.
((("bear" "is" "big" "+") ("bear" "eats" "cow" "+")) -> ("cow" "is" "big" "-"))
If someone eats the bear then the bear likes the mouse.
((("someone" "eats" "bear" "+")) -> ("bear" "likes" "mouse" "+"))
If someone likes the mouse then they are green.
((("someone" "likes" "mouse" "+")) -> ("someone" "is" "green" "+"))
If someone visits the bear then they eat the bear.
((("someone" "visits" "bear" "+")) -> ("someone" "eats" "bear" "+"))
Young, green people are round.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they do not visit the bear.
((("someone" "is" "round" "+")) -> ("someone" "visits" "bear" "-"))
If someone visits the bear then they are big.
((("someone" "visits" "bear" "+")) -> ("someone" "is" "big" "+"))
The cat eats the cow.
True
1
proof
[(triple4)]
("cat" "eats" "cow" "+")
triple4
The bear does not visit the cat.
False
1
inv-proof
[(triple3)]
("bear" "visits" "cat" "-")
triple3
The bear likes the mouse.
True
2
proof
[(((triple6) -> rule4))]
("bear" "likes" "mouse" "+")
((triple6) -> (rule4 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear does not like the mouse.
False
2
inv-proof
[(((triple6) -> rule4))]
("bear" "likes" "mouse" "-")
((triple6) -> (rule4 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear is green.
True
3
proof
[(((((triple6) -> rule4)) -> rule5))]
("bear" "is" "green" "+")
((((triple6) -> (rule4 % int2))) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int2
The bear is not green.
False
3
inv-proof
[(((((triple6) -> rule4)) -> rule5))]
("bear" "is" "green" "-")
((((triple6) -> (rule4 % int2))) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int2
The bear is young.
True
4
proof
[(((((((triple6) -> rule4)) -> rule5)) -> rule2))]
("bear" "is" "young" "+")
((((((triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int3
The bear is not young.
False
4
inv-proof
[(((((((triple6) -> rule4)) -> rule5)) -> rule2))]
("bear" "is" "young" "-")
((((((triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int3
The bear is round.
True
8
proof
[(((((((((triple6) -> rule4)) -> rule5)) -> rule2) ((((triple6) -> rule4)) -> rule5)) -> rule7))]
("bear" "is" "round" "+")
((((((((triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule7 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int4
The bear is not round.
False
8
inv-proof
[(((((((((triple6) -> rule4)) -> rule5)) -> rule2) ((((triple6) -> rule4)) -> rule5)) -> rule7))]
("bear" "is" "round" "-")
((((((((triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule7 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int4
The bear does not visit the bear.
True
9
proof
[(((((((((((triple6) -> rule4)) -> rule5)) -> rule2) ((((triple6) -> rule4)) -> rule5)) -> rule7)) -> rule8))]
("bear" "visits" "bear" "-")
((((((((((triple6) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple6) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule8 % int1))
The bear does not visit the bear.
("bear" "visits" "bear" "-")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int5
The bear visits the bear.
False
9
inv-proof
[(((((((((((triple6) -> rule4)) -> rule5)) -> rule2) ((((triple6) -> rule4)) -> rule5)) -> rule7)) -> rule8))]
("bear" "visits" "bear" "+")
((((((((((triple6) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple6) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule8 % int1))
The bear does not visit the bear.
("bear" "visits" "bear" "-")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int5
The mouse is not green.
Unknown
inv-rconc
[@1: The mouse is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "green" "-")
The cow is big.
Unknown
rconc
[@1: The cow is big.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("cow" "is" "big" "+")
The cow is not green.
Unknown
inv-rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "green" "-")
The cat is round.
Unknown
rconc
[@2: The cat is round.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("cat" "is" "round" "+")
The cat is not young.
Unknown
inv-rconc
[@2: The cat is young.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("cat" "is" "young" "-")
The mouse is round.
Unknown
rconc
[@2: The mouse is round.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("mouse" "is" "round" "+")
The cow does not like the cat.
Unknown
inv-random
[@0: The cow likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cat" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The mouse visits the cow.
Unknown
random
[@0: The mouse visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "cow" "+")
The mouse does not like the cow.
Unknown
inv-random
[@0: The mouse likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "cow" "-")
The mouse visits the bear.
Unknown
random
[@0: The mouse visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bear" "+")
@0: The bear does not eat the cat.[(triple1)] The bear eats the mouse.[(triple2)] The bear visits the cat.[(triple3)] The cat eats the cow.[(triple4)] The cat visits the cow.[(triple5)] The cow eats the bear.[(triple6)] The cow likes the bear.[(triple7)] The cow visits the mouse.[(triple8)] The mouse does not eat the bear.[(triple9)] The mouse eats the cow.[(triple10)] @1: The bear likes the mouse.[(((triple6) -> rule4))] @2: The bear is green.[(((((triple6) -> rule4)) -> rule5))] @3: The bear is young.[(((((((triple6) -> rule4)) -> rule5)) -> rule2))] @4: The bear is round.[(((((((((triple6) -> rule4)) -> rule5)) -> rule2) ((((triple6) -> rule4)) -> rule5)) -> rule7))] @5: The bear does not visit the bear.[(((((((((((triple6) -> rule4)) -> rule5)) -> rule2) ((((triple6) -> rule4)) -> rule5)) -> rule7)) -> rule8))]
The bear does not eat the cat.
("bear" "eats" "cat" "-")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
The bear visits the cat.
("bear" "visits" "cat" "+")
triple3
The cat eats the cow.
("cat" "eats" "cow" "+")
triple4
The cat visits the cow.
("cat" "visits" "cow" "+")
triple5
The cow eats the bear.
("cow" "eats" "bear" "+")
triple6
The cow likes the bear.
("cow" "likes" "bear" "+")
triple7
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple8
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
triple9
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple10
The bear likes the mouse.
("bear" "likes" "mouse" "+")
((triple6) -> (rule4 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear is green.
("bear" "is" "green" "+")
((((triple6) -> (rule4 % int2))) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int2
The bear is young.
("bear" "is" "young" "+")
((((((triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int3
The bear is round.
("bear" "is" "round" "+")
((((((((triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule7 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int4
The bear does not visit the bear.
("bear" "visits" "bear" "-")
((((((((((triple6) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple6) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule8 % int1))
The bear does not visit the bear.
("bear" "visits" "bear" "-")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int5