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