The bald eagle does not eat the mouse. The bald eagle is not cold. The bald eagle is rough. The bald eagle likes the lion. The bald eagle sees the bear. The bear likes the lion. The bear likes the mouse. The lion eats the bald eagle. The lion eats the bear. The lion is rough. The mouse likes the lion. The mouse does not see the bald eagle. All green people are not big. If someone is rough then they are big. If someone sees the bald eagle then they are red. If someone sees the mouse and they are big then they see the bald eagle. If someone is red then they eat the mouse. If someone sees the lion then they are cold. If someone eats the lion then they are cold. If the lion eats the mouse and the lion is not red then the lion eats the bald eagle.
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is rough.
("lion" "is" "rough" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse does not see the bald eagle.
("mouse" "sees" "bald eagle" "-")
All green people are not big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "-"))
If someone is rough then they are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone sees the bald eagle then they are red.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "red" "+"))
If someone sees the mouse and they are big then they see the bald eagle.
((("someone" "sees" "mouse" "+") ("someone" "is" "big" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is red then they eat the mouse.
((("someone" "is" "red" "+")) -> ("someone" "eats" "mouse" "+"))
If someone sees the lion then they are cold.
((("someone" "sees" "lion" "+")) -> ("someone" "is" "cold" "+"))
If someone eats the lion then they are cold.
((("someone" "eats" "lion" "+")) -> ("someone" "is" "cold" "+"))
If the lion eats the mouse and the lion is not red then the lion eats the bald eagle.
((("lion" "eats" "mouse" "+") ("lion" "is" "red" "~")) -> ("lion" "eats" "bald eagle" "+"))
The bald eagle is not cold.
True
1
proof
[(triple2)]
("bald eagle" "is" "cold" "-")
triple2
The bald eagle does not see the bear.
False
1
inv-proof
[(triple5)]
("bald eagle" "sees" "bear" "-")
triple5
The lion is big.
True
2
proof
[(((triple10) -> rule2))]
("lion" "is" "big" "+")
((triple10) -> (rule2 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is not big.
False
2
inv-proof
[(((triple10) -> rule2))]
("lion" "is" "big" "-")
((triple10) -> (rule2 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The mouse is not big.
Unknown
inv-rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "big" "-")
The lion is cold.
Unknown
rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "is" "cold" "+")
The mouse does not eat the bald eagle.
Unknown
inv-random
[@0: The mouse eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bald eagle" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The bald eagle does not eat the mouse.[(triple1)] The bald eagle is not cold.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the lion.[(triple4)] The bald eagle sees the bear.[(triple5)] The bear likes the lion.[(triple6)] The bear likes the mouse.[(triple7)] The lion eats the bald eagle.[(triple8)] The lion eats the bear.[(triple9)] The lion is rough.[(triple10)] The mouse does not see the bald eagle.[(triple12)] The mouse likes the lion.[(triple11)] @1: The bald eagle is big.[(((triple3) -> rule2))] The lion is big.[(((triple10) -> rule2))]
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
triple1
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple4
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple5
The bear likes the lion.
("bear" "likes" "lion" "+")
triple6
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple7
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple8
The lion eats the bear.
("lion" "eats" "bear" "+")
triple9
The lion is rough.
("lion" "is" "rough" "+")
triple10
The mouse does not see the bald eagle.
("mouse" "sees" "bald eagle" "-")
triple12
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple11
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple3) -> (rule2 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The lion is big.
("lion" "is" "big" "+")
((triple10) -> (rule2 % int1))
The lion is big.
("lion" "is" "big" "+")
int1