The bald eagle visits the tiger. The lion sees the bald eagle. The mouse sees the bald eagle. The tiger is rough. If the mouse sees the tiger and the mouse sees the lion then the lion sees the mouse. If something sees the bald eagle then it likes the lion. If something sees the bald eagle and it likes the tiger then it likes the bald eagle. If something sees the mouse then the mouse visits the bald eagle. If something is kind then it visits the mouse. If something sees the lion then it is green. If something sees the tiger and the tiger is kind then the tiger is rough. If something likes the mouse then the mouse likes the lion.
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If the mouse sees the tiger and the mouse sees the lion then the lion sees the mouse.
((("mouse" "sees" "tiger" "+") ("mouse" "sees" "lion" "+")) -> ("lion" "sees" "mouse" "+"))
If something sees the bald eagle then it likes the lion.
((("something" "sees" "bald eagle" "+")) -> ("something" "likes" "lion" "+"))
If something sees the bald eagle and it likes the tiger then it likes the bald eagle.
((("something" "sees" "bald eagle" "+") ("something" "likes" "tiger" "+")) -> ("something" "likes" "bald eagle" "+"))
If something sees the mouse then the mouse visits the bald eagle.
((("something" "sees" "mouse" "+")) -> ("mouse" "visits" "bald eagle" "+"))
If something is kind then it visits the mouse.
((("something" "is" "kind" "+")) -> ("something" "visits" "mouse" "+"))
If something sees the lion then it is green.
((("something" "sees" "lion" "+")) -> ("something" "is" "green" "+"))
If something sees the tiger and the tiger is kind then the tiger is rough.
((("something" "sees" "tiger" "+") ("tiger" "is" "kind" "+")) -> ("tiger" "is" "rough" "+"))
If something likes the mouse then the mouse likes the lion.
((("something" "likes" "mouse" "+")) -> ("mouse" "likes" "lion" "+"))
The mouse sees the bald eagle.
True
1
proof
[(triple3)]
("mouse" "sees" "bald eagle" "+")
triple3
The lion does not see the bald eagle.
False
1
inv-proof
[(triple2)]
("lion" "sees" "bald eagle" "-")
triple2
The mouse likes the lion.
True
2
proof
[(((triple3) -> rule2))]
("mouse" "likes" "lion" "+")
((triple3) -> (rule2 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
The mouse does not like the lion.
False
2
inv-proof
[(((triple3) -> rule2))]
("mouse" "likes" "lion" "-")
((triple3) -> (rule2 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
The tiger does not like the bald eagle.
Unknown
inv-rconc
[@1: The tiger likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "likes" "bald eagle" "-")
The lion likes the bald eagle.
Unknown
rconc
[@1: The lion likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "likes" "bald eagle" "+")
The lion is not nice.
Unknown
inv-random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The bald eagle visits the tiger.[(triple1)] The lion sees the bald eagle.[(triple2)] The mouse sees the bald eagle.[(triple3)] The tiger is rough.[(triple4)] @1: The lion likes the lion.[(((triple2) -> rule2))] The mouse likes the lion.[(((triple3) -> rule2))]
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple1
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple2
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple3
The tiger is rough.
("tiger" "is" "rough" "+")
triple4
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple2) -> (rule2 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The mouse likes the lion.
("mouse" "likes" "lion" "+")
((triple3) -> (rule2 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1