The bald eagle does not eat the bear. The bald eagle is not green. The bald eagle is not red. The bald eagle is rough. The bald eagle likes the mouse. The bald eagle likes the rabbit. The bald eagle does not need the bear. The bald eagle needs the mouse. The bald eagle does not need the rabbit. The bear likes the rabbit. The mouse eats the bald eagle. The mouse is not red. The mouse does not need the bear. The rabbit is kind. The rabbit does not need the bear. The rabbit does not need the mouse. If someone likes the bear then they need the bald eagle. If someone is rough then they like the rabbit. If someone is nice and they need the bald eagle then they need the bear. If someone likes the mouse then they eat the mouse. If someone eats the mouse then the mouse eats the rabbit. If someone likes the rabbit then the rabbit does not need the mouse. If someone needs the bald eagle then the bald eagle does not like the bear. If someone eats the rabbit then they like the bear.
The bald eagle does not eat the bear.
("bald eagle" "eats" "bear" "-")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle does not need the bear.
("bald eagle" "needs" "bear" "-")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is not red.
("mouse" "is" "red" "-")
The mouse does not need the bear.
("mouse" "needs" "bear" "-")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit does not need the bear.
("rabbit" "needs" "bear" "-")
The rabbit does not need the mouse.
("rabbit" "needs" "mouse" "-")
If someone likes the bear then they need the bald eagle.
((("someone" "likes" "bear" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone is rough then they like the rabbit.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone is nice and they need the bald eagle then they need the bear.
((("someone" "is" "nice" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "needs" "bear" "+"))
If someone likes the mouse then they eat the mouse.
((("someone" "likes" "mouse" "+")) -> ("someone" "eats" "mouse" "+"))
If someone eats the mouse then the mouse eats the rabbit.
((("someone" "eats" "mouse" "+")) -> ("mouse" "eats" "rabbit" "+"))
If someone likes the rabbit then the rabbit does not need the mouse.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "needs" "mouse" "-"))
If someone needs the bald eagle then the bald eagle does not like the bear.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "likes" "bear" "-"))
If someone eats the rabbit then they like the bear.
((("someone" "eats" "rabbit" "+")) -> ("someone" "likes" "bear" "+"))
The bald eagle does not eat the bear.
True
1
proof
[(triple1)]
("bald eagle" "eats" "bear" "-")
triple1
The bald eagle needs the bear.
False
1
inv-proof
[(triple7)]
("bald eagle" "needs" "bear" "+")
triple7
The bald eagle eats the mouse.
True
2
proof
[(((triple5) -> rule4))]
("bald eagle" "eats" "mouse" "+")
((triple5) -> (rule4 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The bald eagle does not eat the mouse.
False
2
inv-proof
[(((triple5) -> rule4))]
("bald eagle" "eats" "mouse" "-")
((triple5) -> (rule4 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The mouse eats the rabbit.
True
3
proof
[(((((triple5) -> rule4)) -> rule5))]
("mouse" "eats" "rabbit" "+")
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2
The mouse does not eat the rabbit.
False
3
inv-proof
[(((((triple5) -> rule4)) -> rule5))]
("mouse" "eats" "rabbit" "-")
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2
The mouse likes the bear.
True
4
proof
[(((((((triple5) -> rule4)) -> rule5)) -> rule8))]
("mouse" "likes" "bear" "+")
((((((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int3
The mouse does not like the bear.
False
4
inv-proof
[(((((((triple5) -> rule4)) -> rule5)) -> rule8))]
("mouse" "likes" "bear" "-")
((((((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int3
The mouse needs the bald eagle.
True
5
proof
[(((((((((triple5) -> rule4)) -> rule5)) -> rule8)) -> rule1))]
("mouse" "needs" "bald eagle" "+")
((((((((triple5) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int3
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int4
The mouse does not need the bald eagle.
False
5
inv-proof
[(((((((((triple5) -> rule4)) -> rule5)) -> rule8)) -> rule1))]
("mouse" "needs" "bald eagle" "-")
((((((((triple5) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int3
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int4
The bald eagle does not like the bear.
True
6
proof
[(((((((((((triple5) -> rule4)) -> rule5)) -> rule8)) -> rule1)) -> rule7))]
("bald eagle" "likes" "bear" "-")
((((((((((triple5) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int3
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int4
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int5
The bald eagle likes the bear.
False
6
inv-proof
[(((((((((((triple5) -> rule4)) -> rule5)) -> rule8)) -> rule1)) -> rule7))]
("bald eagle" "likes" "bear" "+")
((((((((((triple5) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int3
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int4
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int5
The rabbit does not need the bald eagle.
Unknown
inv-rconc
[@2: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule8 <- FAIL)]]
("rabbit" "needs" "bald eagle" "-")
The rabbit likes the rabbit.
Unknown
rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "likes" "rabbit" "+")
The rabbit does not like the bear.
Unknown
inv-rconc
[@1: The rabbit likes the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "likes" "bear" "-")
The mouse likes the rabbit.
Unknown
rconc
[@1: The mouse likes the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "likes" "rabbit" "+")
The bear does not need the bear.
Unknown
inv-rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "needs" "bear" "-")
The bald eagle needs the bald eagle.
Unknown
rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The mouse is not rough.
Unknown
inv-random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "-")
The bear likes the mouse.
Unknown
random
[@0: The bear likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "mouse" "+")
The mouse is not nice.
Unknown
inv-random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "-")
The bald eagle eats the rabbit.
Unknown
random
[@0: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "rabbit" "+")
@0: The bald eagle does not eat the bear.[(triple1)] The bald eagle does not need the bear.[(triple7)] The bald eagle does not need the rabbit.[(triple9)] The bald eagle is not green.[(triple2)] The bald eagle is not red.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle likes the mouse.[(triple5)] The bald eagle likes the rabbit.[(triple6 OR ((triple4) -> rule2))] The bald eagle needs the mouse.[(triple8)] The bear likes the rabbit.[(triple10)] The mouse does not need the bear.[(triple13)] The mouse eats the bald eagle.[(triple11)] The mouse is not red.[(triple12)] The rabbit does not need the bear.[(triple15)] The rabbit does not need the mouse.[(triple16 OR ((triple10) -> rule6) OR ((triple6) -> rule6) OR ((((triple4) -> rule2)) -> rule6))] The rabbit is kind.[(triple14)] @1: The bald eagle eats the mouse.[(((triple5) -> rule4))] @2: The mouse eats the rabbit.[(((((triple5) -> rule4)) -> rule5))] @3: The mouse likes the bear.[(((((((triple5) -> rule4)) -> rule5)) -> rule8))] @4: The mouse needs the bald eagle.[(((((((((triple5) -> rule4)) -> rule5)) -> rule8)) -> rule1))] @5: The bald eagle does not like the bear.[(((((((((((triple5) -> rule4)) -> rule5)) -> rule8)) -> rule1)) -> rule7))]
The bald eagle does not eat the bear.
("bald eagle" "eats" "bear" "-")
triple1
The bald eagle does not need the bear.
("bald eagle" "needs" "bear" "-")
triple7
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
triple9
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple2
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple6
((triple4) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple8
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple10
The mouse does not need the bear.
("mouse" "needs" "bear" "-")
triple13
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple11
The mouse is not red.
("mouse" "is" "red" "-")
triple12
The rabbit does not need the bear.
("rabbit" "needs" "bear" "-")
triple15
The rabbit does not need the mouse.
("rabbit" "needs" "mouse" "-")
triple16
((triple10) -> (rule6 % int1))
The rabbit does not need the mouse.
("rabbit" "needs" "mouse" "-")
int1
((triple6) -> (rule6 % int1))
The rabbit does not need the mouse.
("rabbit" "needs" "mouse" "-")
int1
((((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit does not need the mouse.
("rabbit" "needs" "mouse" "-")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple14
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
((triple5) -> (rule4 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2
The mouse likes the bear.
("mouse" "likes" "bear" "+")
((((((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int3
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
((((((((triple5) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int3
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int4
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
((((((((((triple5) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int3
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int4
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int5