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