The bald eagle eats the mouse. The bald eagle is round. The bald eagle likes the rabbit. The bald eagle does not see the lion. The bald eagle sees the mouse. The lion does not eat the bald eagle. The lion is kind. The lion is round. The lion likes the rabbit. The mouse is red. The mouse likes the bald eagle. The mouse sees the rabbit. The rabbit eats the lion. The rabbit is round. The rabbit likes the lion. If someone sees the mouse and they like the mouse then they eat the bald eagle. If someone likes the bald eagle and they do not see the lion then they eat the bald eagle. If the lion likes the mouse and the lion sees the mouse then the mouse is round. If the mouse is red and the mouse does not eat the rabbit then the rabbit eats the lion. If someone is round and they like the mouse then they are big. If someone eats the mouse and they are round then the mouse eats the bald eagle. If the lion eats the rabbit then the rabbit is red. If the lion likes the rabbit and the lion does not see the bald eagle then the lion eats the rabbit.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
The lion is kind.
("lion" "is" "kind" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
If someone sees the mouse and they like the mouse then they eat the bald eagle.
((("someone" "sees" "mouse" "+") ("someone" "likes" "mouse" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone likes the bald eagle and they do not see the lion then they eat the bald eagle.
((("someone" "likes" "bald eagle" "+") ("someone" "sees" "lion" "~")) -> ("someone" "eats" "bald eagle" "+"))
If the lion likes the mouse and the lion sees the mouse then the mouse is round.
((("lion" "likes" "mouse" "+") ("lion" "sees" "mouse" "+")) -> ("mouse" "is" "round" "+"))
If the mouse is red and the mouse does not eat the rabbit then the rabbit eats the lion.
((("mouse" "is" "red" "+") ("mouse" "eats" "rabbit" "~")) -> ("rabbit" "eats" "lion" "+"))
If someone is round and they like the mouse then they are big.
((("someone" "is" "round" "+") ("someone" "likes" "mouse" "+")) -> ("someone" "is" "big" "+"))
If someone eats the mouse and they are round then the mouse eats the bald eagle.
((("someone" "eats" "mouse" "+") ("someone" "is" "round" "+")) -> ("mouse" "eats" "bald eagle" "+"))
If the lion eats the rabbit then the rabbit is red.
((("lion" "eats" "rabbit" "+")) -> ("rabbit" "is" "red" "+"))
If the lion likes the rabbit and the lion does not see the bald eagle then the lion eats the rabbit.
((("lion" "likes" "rabbit" "+") ("lion" "sees" "bald eagle" "~")) -> ("lion" "eats" "rabbit" "+"))
The bald eagle eats the mouse.
True
1
proof
[(triple1)]
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle does not see the mouse.
False
1
inv-proof
[(triple5)]
("bald eagle" "sees" "mouse" "-")
triple5
The mouse eats the bald eagle.
True
3
proof
[(((triple1 triple2) -> rule6))]
("mouse" "eats" "bald eagle" "+")
((triple1 triple2) -> (rule6 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The mouse does not eat the bald eagle.
False
3
inv-proof
[(((triple1 triple2) -> rule6))]
("mouse" "eats" "bald eagle" "-")
((triple1 triple2) -> (rule6 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The rabbit is not red.
Unknown
inv-rconc
[@2: The rabbit is red.[CWA. Example of deepest failure = (rule7 <- rule8 <- FAIL)]]
("rabbit" "is" "red" "-")
The mouse is big.
Unknown
rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "big" "+")
The mouse does not eat the lion.
Unknown
inv-random
[@0: The mouse eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "lion" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
@0: The bald eagle does not see the lion.[(triple4)] The bald eagle eats the mouse.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The bald eagle sees the mouse.[(triple5)] The lion does not eat the bald eagle.[(triple6)] The lion is kind.[(triple7)] The lion is round.[(triple8)] The lion likes the rabbit.[(triple9)] The mouse is red.[(triple10)] The mouse likes the bald eagle.[(triple11)] The mouse sees the rabbit.[(triple12)] The rabbit eats the lion.[(triple13)] The rabbit is round.[(triple14)] The rabbit likes the lion.[(triple15)] @1: The mouse eats the bald eagle.[(((triple1 triple2) -> rule6))]
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
triple4
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple5
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
triple6
The lion is kind.
("lion" "is" "kind" "+")
triple7
The lion is round.
("lion" "is" "round" "+")
triple8
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple9
The mouse is red.
("mouse" "is" "red" "+")
triple10
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple11
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple12
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple13
The rabbit is round.
("rabbit" "is" "round" "+")
triple14
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple15
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
((triple1 triple2) -> (rule6 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1