The bald eagle chases the rabbit. The mouse likes the rabbit. The rabbit eats the bald eagle. If someone is big then they eat the rabbit. If the rabbit is young and the rabbit does not chase the mouse then the mouse is blue. If someone eats the rabbit and they are big then they do not like the bald eagle. If someone chases the rabbit then the rabbit chases the bald eagle. If someone eats the mouse and the mouse eats the rabbit then the rabbit likes the bald eagle. If someone likes the mouse then they are big. If someone is big then they like the rabbit. If someone likes the rabbit then they like the mouse.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
If someone is big then they eat the rabbit.
((("someone" "is" "big" "+")) -> ("someone" "eats" "rabbit" "+"))
If the rabbit is young and the rabbit does not chase the mouse then the mouse is blue.
((("rabbit" "is" "young" "+") ("rabbit" "chases" "mouse" "~")) -> ("mouse" "is" "blue" "+"))
If someone eats the rabbit and they are big then they do not like the bald eagle.
((("someone" "eats" "rabbit" "+") ("someone" "is" "big" "+")) -> ("someone" "likes" "bald eagle" "-"))
If someone chases the rabbit then the rabbit chases the bald eagle.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "chases" "bald eagle" "+"))
If someone eats the mouse and the mouse eats the rabbit then the rabbit likes the bald eagle.
((("someone" "eats" "mouse" "+") ("mouse" "eats" "rabbit" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
If someone likes the mouse then they are big.
((("someone" "likes" "mouse" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they like the rabbit.
((("someone" "is" "big" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone likes the rabbit then they like the mouse.
((("someone" "likes" "rabbit" "+")) -> ("someone" "likes" "mouse" "+"))
The rabbit eats the bald eagle.
True
1
proof
[(triple3)]
("rabbit" "eats" "bald eagle" "+")
triple3
The rabbit does not eat the bald eagle.
False
1
inv-proof
[(triple3)]
("rabbit" "eats" "bald eagle" "-")
triple3
The mouse likes the mouse.
True
2
proof
[(((triple2) -> rule8))]
("mouse" "likes" "mouse" "+")
((triple2) -> (rule8 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse does not like the mouse.
False
2
inv-proof
[(((triple2) -> rule8))]
("mouse" "likes" "mouse" "-")
((triple2) -> (rule8 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse is big.
True
3
proof
[(((((triple2) -> rule8)) -> rule6))]
("mouse" "is" "big" "+")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The mouse is not big.
False
3
inv-proof
[(((((triple2) -> rule8)) -> rule6))]
("mouse" "is" "big" "-")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The mouse eats the rabbit.
True
4
proof
[(((((((triple2) -> rule8)) -> rule6)) -> rule1))]
("mouse" "eats" "rabbit" "+")
((((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int3
The mouse does not eat the rabbit.
False
4
inv-proof
[(((((((triple2) -> rule8)) -> rule6)) -> rule1))]
("mouse" "eats" "rabbit" "-")
((((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int3
The bald eagle does not like the mouse.
Unknown
inv-rconc
[@3: The bald eagle likes the mouse.[CWA. Example of deepest failure = (rule8 <- rule7 <- rule6 <- FAIL)]]
("bald eagle" "likes" "mouse" "-")
The rabbit likes the mouse.
Unknown
rconc
[@3: The rabbit likes the mouse.[CWA. Example of deepest failure = (rule8 <- rule7 <- rule6 <- FAIL)]]
("rabbit" "likes" "mouse" "+")
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@3: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule7 <- rule6 <- rule8 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The bald eagle eats the rabbit.
Unknown
rconc
[@4: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule8 <- rule7 <- FAIL)]]
("bald eagle" "eats" "rabbit" "+")
The rabbit is not cold.
Unknown
inv-random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "-")
The mouse chases the bald eagle.
Unknown
random
[@0: The mouse chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "bald eagle" "+")
The mouse is not cold.
Unknown
inv-random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The mouse likes the rabbit.[(triple2)] The rabbit eats the bald eagle.[(triple3)] @1: The mouse likes the mouse.[(((triple2) -> rule8))] The rabbit chases the bald eagle.[(((triple1) -> rule4))] @2: The mouse is big.[(((((triple2) -> rule8)) -> rule6))] @3: The mouse eats the rabbit.[(((((((triple2) -> rule8)) -> rule6)) -> rule1))] @4: The mouse does not like the bald eagle.[(((((((((triple2) -> rule8)) -> rule6)) -> rule1) ((((triple2) -> rule8)) -> rule6)) -> rule3))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple2
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple3
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple2) -> (rule8 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
((triple1) -> (rule4 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
((((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int3
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
((((((((triple2) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((((triple2) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
int1
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int2
The mouse is big.
("mouse" "is" "big" "+")
int3
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int4