The bald eagle eats the lion. The bald eagle eats the mouse. The bald eagle is blue. The bald eagle is green. The bald eagle is red. The bald eagle needs the mouse. The lion is green. The lion is nice. The lion is red. The lion needs the bald eagle. The lion sees the mouse. The mouse eats the bald eagle. The mouse eats the lion. The mouse is not kind. The mouse does not need the bald eagle. The mouse sees the bald eagle. If someone sees the bald eagle then they are blue.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If someone sees the bald eagle then they are blue.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "blue" "+"))
The lion is nice.
True
1
proof
[(triple8)]
("lion" "is" "nice" "+")
triple8
The bald eagle does not eat the mouse.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "mouse" "-")
triple2
The mouse is blue.
True
2
proof
[(((triple16) -> rule1))]
("mouse" "is" "blue" "+")
((triple16) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is not blue.
False
2
inv-proof
[(((triple16) -> rule1))]
("mouse" "is" "blue" "-")
((triple16) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The lion is not blue.
Unknown
inv-rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "blue" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
The lion does not see the bald eagle.
Unknown
inv-random
[@0: The lion sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "bald eagle" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle needs the mouse.[(triple6)] The lion is green.[(triple7)] The lion is nice.[(triple8)] The lion is red.[(triple9)] The lion needs the bald eagle.[(triple10)] The lion sees the mouse.[(triple11)] The mouse does not need the bald eagle.[(triple15)] The mouse eats the bald eagle.[(triple12)] The mouse eats the lion.[(triple13)] The mouse is not kind.[(triple14)] The mouse sees the bald eagle.[(triple16)] @1: The mouse is blue.[(((triple16) -> rule1))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple5
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple6
The lion is green.
("lion" "is" "green" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple8
The lion is red.
("lion" "is" "red" "+")
triple9
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple10
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple11
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
triple15
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple12
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple13
The mouse is not kind.
("mouse" "is" "kind" "-")
triple14
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple16
The mouse is blue.
("mouse" "is" "blue" "+")
((triple16) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1