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