The bald eagle eats the bear. The bald eagle is nice. The bear does not need the cow. The cow eats the bald eagle. The cow is not green. The cow sees the bald eagle. The cow sees the bear. The cow does not see the rabbit. The rabbit eats the bald eagle. The rabbit is not blue. The rabbit needs the cow. If something eats the cow then the cow is blue. If something eats the rabbit and the rabbit eats the cow then the cow is big. If something eats the rabbit and it eats the bald eagle then it needs the bear. If the rabbit does not see the bald eagle then the rabbit needs the bald eagle. If something is big then it eats the cow. If the rabbit needs the cow then the rabbit is big. If something sees the bald eagle and it is blue then the bald eagle eats the rabbit. If something is green then it needs the rabbit.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear does not need the cow.
("bear" "needs" "cow" "-")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The cow does not see the rabbit.
("cow" "sees" "rabbit" "-")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is not blue.
("rabbit" "is" "blue" "-")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
If something eats the cow then the cow is blue.
((("something" "eats" "cow" "+")) -> ("cow" "is" "blue" "+"))
If something eats the rabbit and the rabbit eats the cow then the cow is big.
((("something" "eats" "rabbit" "+") ("rabbit" "eats" "cow" "+")) -> ("cow" "is" "big" "+"))
If something eats the rabbit and it eats the bald eagle then it needs the bear.
((("something" "eats" "rabbit" "+") ("something" "eats" "bald eagle" "+")) -> ("something" "needs" "bear" "+"))
If the rabbit does not see the bald eagle then the rabbit needs the bald eagle.
((("rabbit" "sees" "bald eagle" "~")) -> ("rabbit" "needs" "bald eagle" "+"))
If something is big then it eats the cow.
((("something" "is" "big" "+")) -> ("something" "eats" "cow" "+"))
If the rabbit needs the cow then the rabbit is big.
((("rabbit" "needs" "cow" "+")) -> ("rabbit" "is" "big" "+"))
If something sees the bald eagle and it is blue then the bald eagle eats the rabbit.
((("something" "sees" "bald eagle" "+") ("something" "is" "blue" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
If something is green then it needs the rabbit.
((("something" "is" "green" "+")) -> ("something" "needs" "rabbit" "+"))
The cow eats the bald eagle.
True
1
proof
[(triple4)]
("cow" "eats" "bald eagle" "+")
triple4
The bald eagle does not eat the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "bear" "-")
triple1
The rabbit is big.
True
2
proof
[(((triple11) -> rule6))]
("rabbit" "is" "big" "+")
((triple11) -> (rule6 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is not big.
False
2
inv-proof
[(((triple11) -> rule6))]
("rabbit" "is" "big" "-")
((triple11) -> (rule6 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit eats the cow.
True
3
proof
[(((((triple11) -> rule6)) -> rule5))]
("rabbit" "eats" "cow" "+")
((((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit does not eat the cow.
False
3
inv-proof
[(((((triple11) -> rule6)) -> rule5))]
("rabbit" "eats" "cow" "-")
((((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The cow is blue.
True
4
proof
[(((((((triple11) -> rule6)) -> rule5)) -> rule1))]
("cow" "is" "blue" "+")
((((((triple11) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The cow is not blue.
False
4
inv-proof
[(((((((triple11) -> rule6)) -> rule5)) -> rule1))]
("cow" "is" "blue" "-")
((((((triple11) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle eats the rabbit.
True
6
proof
[(((triple6 ((((((triple11) -> rule6)) -> rule5)) -> rule1)) -> rule7))]
("bald eagle" "eats" "rabbit" "+")
((triple6 ((((((triple11) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The bald eagle does not eat the rabbit.
False
6
inv-proof
[(((triple6 ((((((triple11) -> rule6)) -> rule5)) -> rule1)) -> rule7))]
("bald eagle" "eats" "rabbit" "-")
((triple6 ((((((triple11) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The cow is big.
True
10
proof
[(((((triple6 ((((((triple11) -> rule6)) -> rule5)) -> rule1)) -> rule7) ((((triple11) -> rule6)) -> rule5)) -> rule2))]
("cow" "is" "big" "+")
((((triple6 ((((((triple11) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) ((((triple11) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The cow is not big.
False
10
inv-proof
[(((((triple6 ((((((triple11) -> rule6)) -> rule5)) -> rule1)) -> rule7) ((((triple11) -> rule6)) -> rule5)) -> rule2))]
("cow" "is" "big" "-")
((((triple6 ((((((triple11) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) ((((triple11) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The bald eagle does not need the bear.
Unknown
inv-rconc
[@1: The bald eagle needs the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "needs" "bear" "-")
The bald eagle needs the rabbit.
Unknown
rconc
[@1: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "needs" "rabbit" "+")
The bear does not eat the cow.
Unknown
inv-rconc
[@1: The bear eats the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "eats" "cow" "-")
The rabbit needs the bear.
Unknown
rconc
[@1: The rabbit needs the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "needs" "bear" "+")
The rabbit does not need the rabbit.
Unknown
inv-rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "needs" "rabbit" "-")
The cow needs the rabbit.
Unknown
rconc
[@1: The cow needs the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "needs" "rabbit" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The cow eats the bear.
Unknown
random
[@0: The cow eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bear" "+")
The rabbit does not see the cow.
Unknown
inv-random
[@0: The rabbit sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "cow" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is nice.[(triple2)] The bear does not need the cow.[(triple3)] The cow does not see the rabbit.[(triple8)] The cow eats the bald eagle.[(triple4)] The cow is not green.[(triple5)] The cow sees the bald eagle.[(triple6)] The cow sees the bear.[(triple7)] The rabbit eats the bald eagle.[(triple9)] The rabbit is not blue.[(triple10)] The rabbit needs the cow.[(triple11)] @1: The rabbit is big.[(((triple11) -> rule6))] @2: The rabbit eats the cow.[(((((triple11) -> rule6)) -> rule5))] @3: The cow is blue.[(((((((triple11) -> rule6)) -> rule5)) -> rule1))] @4: The bald eagle eats the rabbit.[(((triple6 ((((((triple11) -> rule6)) -> rule5)) -> rule1)) -> rule7))] @5: The cow is big.[(((((triple6 ((((((triple11) -> rule6)) -> rule5)) -> rule1)) -> rule7) ((((triple11) -> rule6)) -> rule5)) -> rule2))] @6: The cow eats the cow.[(((((((triple6 ((((((triple11) -> rule6)) -> rule5)) -> rule1)) -> rule7) ((((triple11) -> rule6)) -> rule5)) -> rule2)) -> rule5))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bear does not need the cow.
("bear" "needs" "cow" "-")
triple3
The cow does not see the rabbit.
("cow" "sees" "rabbit" "-")
triple8
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple4
The cow is not green.
("cow" "is" "green" "-")
triple5
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple6
The cow sees the bear.
("cow" "sees" "bear" "+")
triple7
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple9
The rabbit is not blue.
("rabbit" "is" "blue" "-")
triple10
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple11
The rabbit is big.
("rabbit" "is" "big" "+")
((triple11) -> (rule6 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
((((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
((((((triple11) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
((triple6 ((((((triple11) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The cow is big.
("cow" "is" "big" "+")
((((triple6 ((((((triple11) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) ((((triple11) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
The cow eats the cow.
("cow" "eats" "cow" "+")
((((((triple6 ((((((triple11) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple11) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule5 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int5
The rabbit is big.
("rabbit" "is" "big" "+")
int6