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