The bald eagle is cold. The bald eagle is nice. The bald eagle is young. The bald eagle does not need the mouse. The bald eagle sees the lion. The lion is blue. The lion is nice. The lion does not like the bald eagle. The lion needs the bald eagle. The lion sees the mouse. The mouse is blue. The mouse is rough. The mouse likes the bald eagle. The mouse likes the lion. The mouse needs the lion. The mouse sees the lion. If something needs the mouse then the mouse likes the lion. If something sees the lion then it sees the bald eagle. If something needs the bald eagle then it sees the bald eagle. If the mouse needs the lion and the lion likes the bald eagle then the bald eagle does not see the lion. If something needs the mouse then the mouse does not need the bald eagle. If something sees the lion and it does not like the lion then it is blue.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion does not like the bald eagle.
("lion" "likes" "bald eagle" "-")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
If something needs the mouse then the mouse likes the lion.
((("something" "needs" "mouse" "+")) -> ("mouse" "likes" "lion" "+"))
If something sees the lion then it sees the bald eagle.
((("something" "sees" "lion" "+")) -> ("something" "sees" "bald eagle" "+"))
If something needs the bald eagle then it sees the bald eagle.
((("something" "needs" "bald eagle" "+")) -> ("something" "sees" "bald eagle" "+"))
If the mouse needs the lion and the lion likes the bald eagle then the bald eagle does not see the lion.
((("mouse" "needs" "lion" "+") ("lion" "likes" "bald eagle" "+")) -> ("bald eagle" "sees" "lion" "-"))
If something needs the mouse then the mouse does not need the bald eagle.
((("something" "needs" "mouse" "+")) -> ("mouse" "needs" "bald eagle" "-"))
If something sees the lion and it does not like the lion then it is blue.
((("something" "sees" "lion" "+") ("something" "likes" "lion" "~")) -> ("something" "is" "blue" "+"))
The bald eagle sees the lion.
True
1
proof
[(triple5)]
("bald eagle" "sees" "lion" "+")
triple5
The mouse does not see the lion.
False
1
inv-proof
[(triple16)]
("mouse" "sees" "lion" "-")
triple16
The lion sees the bald eagle.
True
2
proof
[(((triple9) -> rule3))]
("lion" "sees" "bald eagle" "+")
((triple9) -> (rule3 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The lion does not see the bald eagle.
False
2
inv-proof
[(((triple9) -> rule3))]
("lion" "sees" "bald eagle" "-")
((triple9) -> (rule3 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The bald eagle is not blue.
Unknown
inv-rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
The lion is not young.
Unknown
inv-random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
@0: The bald eagle does not need the mouse.[(triple4)] The bald eagle is cold.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the lion.[(triple5)] The lion does not like the bald eagle.[(triple8)] The lion is blue.[(triple6)] The lion is nice.[(triple7)] The lion needs the bald eagle.[(triple9)] The lion sees the mouse.[(triple10)] The mouse is blue.[(triple11)] The mouse is rough.[(triple12)] The mouse likes the bald eagle.[(triple13)] The mouse likes the lion.[(triple14)] The mouse needs the lion.[(triple15)] The mouse sees the lion.[(triple16)] @1: The bald eagle sees the bald eagle.[(((triple5) -> rule2))] The lion sees the bald eagle.[(((triple9) -> rule3))] The mouse sees the bald eagle.[(((triple16) -> rule2))]
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
triple4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple5
The lion does not like the bald eagle.
("lion" "likes" "bald eagle" "-")
triple8
The lion is blue.
("lion" "is" "blue" "+")
triple6
The lion is nice.
("lion" "is" "nice" "+")
triple7
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple9
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple10
The mouse is blue.
("mouse" "is" "blue" "+")
triple11
The mouse is rough.
("mouse" "is" "rough" "+")
triple12
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple13
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple14
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple15
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple16
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple5) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
((triple9) -> (rule3 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
((triple16) -> (rule2 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1