The bald eagle does not chase the bear. The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle likes the mouse. The bald eagle likes the rabbit. The bear eats the mouse. The bear is not red. The mouse does not chase the bald eagle. The mouse is round. The mouse likes the bald eagle. The rabbit eats the bear. The rabbit is green. If something likes the bear then the bear likes the mouse. If something chases the bear then the bear is not red. If something is green and it likes the mouse then it eats the bald eagle. If something likes the mouse then it eats the bald eagle. If something is kind then it eats the mouse. If something is green and it eats the mouse then the mouse is not red. If something is blue and it eats the bald eagle then it likes the bear. If something likes the rabbit then the rabbit chases the mouse. If something eats the bald eagle then it does not chase the bald eagle.
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is not red.
("bear" "is" "red" "-")
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
If something likes the bear then the bear likes the mouse.
((("something" "likes" "bear" "+")) -> ("bear" "likes" "mouse" "+"))
If something chases the bear then the bear is not red.
((("something" "chases" "bear" "+")) -> ("bear" "is" "red" "-"))
If something is green and it likes the mouse then it eats the bald eagle.
((("something" "is" "green" "+") ("something" "likes" "mouse" "+")) -> ("something" "eats" "bald eagle" "+"))
If something likes the mouse then it eats the bald eagle.
((("something" "likes" "mouse" "+")) -> ("something" "eats" "bald eagle" "+"))
If something is kind then it eats the mouse.
((("something" "is" "kind" "+")) -> ("something" "eats" "mouse" "+"))
If something is green and it eats the mouse then the mouse is not red.
((("something" "is" "green" "+") ("something" "eats" "mouse" "+")) -> ("mouse" "is" "red" "-"))
If something is blue and it eats the bald eagle then it likes the bear.
((("something" "is" "blue" "+") ("something" "eats" "bald eagle" "+")) -> ("something" "likes" "bear" "+"))
If something likes the rabbit then the rabbit chases the mouse.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "chases" "mouse" "+"))
If something eats the bald eagle then it does not chase the bald eagle.
((("something" "eats" "bald eagle" "+")) -> ("something" "chases" "bald eagle" "-"))
The rabbit eats the bear.
True
1
proof
[(triple11)]
("rabbit" "eats" "bear" "+")
triple11
The bear is red.
False
1
inv-proof
[(triple7)]
("bear" "is" "red" "+")
triple7
The bald eagle eats the bald eagle.
True
2
proof
[(((triple4) -> rule4))]
("bald eagle" "eats" "bald eagle" "+")
((triple4) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The rabbit does not chase the mouse.
False
2
inv-proof
[(((triple5) -> rule8))]
("rabbit" "chases" "mouse" "-")
((triple5) -> (rule8 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The bald eagle likes the bear.
True
4
proof
[(((triple3 ((triple4) -> rule4)) -> rule7))]
("bald eagle" "likes" "bear" "+")
((triple3 ((triple4) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle does not like the bear.
False
4
inv-proof
[(((triple3 ((triple4) -> rule4)) -> rule7))]
("bald eagle" "likes" "bear" "-")
((triple3 ((triple4) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bear likes the mouse.
True
5
proof
[(((((triple3 ((triple4) -> rule4)) -> rule7)) -> rule1))]
("bear" "likes" "mouse" "+")
((((triple3 ((triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bear does not like the mouse.
False
5
inv-proof
[(((((triple3 ((triple4) -> rule4)) -> rule7)) -> rule1))]
("bear" "likes" "mouse" "-")
((((triple3 ((triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bear eats the bald eagle.
True
6
proof
[(((((((triple3 ((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule4))]
("bear" "eats" "bald eagle" "+")
((((((triple3 ((triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int4
The bear does not eat the bald eagle.
False
6
inv-proof
[(((((((triple3 ((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule4))]
("bear" "eats" "bald eagle" "-")
((((((triple3 ((triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int4
The bear does not chase the bald eagle.
True
7
proof
[(((((((((triple3 ((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule4)) -> rule9))]
("bear" "chases" "bald eagle" "-")
((((((((triple3 ((triple4) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int4
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int5
The bear chases the bald eagle.
False
7
inv-proof
[(((((((((triple3 ((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule4)) -> rule9))]
("bear" "chases" "bald eagle" "+")
((((((((triple3 ((triple4) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int4
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int5
The mouse does not eat the bald eagle.
Unknown
inv-rconc
[@1: The mouse eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "eats" "bald eagle" "-")
The rabbit eats the bald eagle.
Unknown
rconc
[@1: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "eats" "bald eagle" "+")
The mouse does not like the bear.
Unknown
inv-rconc
[@1: The mouse likes the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "likes" "bear" "-")
The bear likes the bear.
Unknown
rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "likes" "bear" "+")
The mouse does not eat the mouse.
Unknown
inv-rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "eats" "mouse" "-")
The bald eagle eats the mouse.
Unknown
rconc
[@1: The bald eagle eats the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "eats" "mouse" "+")
The bear does not like the bald eagle.
Unknown
inv-random
[@0: The bear likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bald eagle" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
The bald eagle does not eat the bear.
Unknown
inv-random
[@0: The bald eagle eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bear" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
The bear is not round.
Unknown
inv-random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "-")
The mouse is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
@0: The bald eagle does not chase the bear.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle likes the mouse.[(triple4)] The bald eagle likes the rabbit.[(triple5)] The bear eats the mouse.[(triple6)] The bear is not red.[(triple7)] The mouse does not chase the bald eagle.[(triple8)] The mouse is round.[(triple9)] The mouse likes the bald eagle.[(triple10)] The rabbit eats the bear.[(triple11)] The rabbit is green.[(triple12)] @1: The bald eagle eats the bald eagle.[(((triple4) -> rule4))] The rabbit chases the mouse.[(((triple5) -> rule8))] @2: The bald eagle does not chase the bald eagle.[(((((triple4) -> rule4)) -> rule9))] The bald eagle likes the bear.[(((triple3 ((triple4) -> rule4)) -> rule7))] @3: The bear likes the mouse.[(((((triple3 ((triple4) -> rule4)) -> rule7)) -> rule1))] @4: The bear eats the bald eagle.[(((((((triple3 ((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule4))] @5: The bear does not chase the bald eagle.[(((((((((triple3 ((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule4)) -> rule9))]
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple5
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple6
The bear is not red.
("bear" "is" "red" "-")
triple7
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
triple8
The mouse is round.
("mouse" "is" "round" "+")
triple9
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple10
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple11
The rabbit is green.
("rabbit" "is" "green" "+")
triple12
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple4) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
((triple5) -> (rule8 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
((((triple4) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
((triple3 ((triple4) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
((((triple3 ((triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
((((((triple3 ((triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int4
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
((((((((triple3 ((triple4) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int4
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int5