The bald eagle needs the mouse. The bald eagle does not visit the tiger. The mouse eats the bald eagle. The mouse eats the tiger. The mouse is young. The mouse needs the bald eagle. The mouse visits the bald eagle. The tiger is green. The tiger needs the bald eagle. The tiger needs the mouse. If something visits the mouse then the mouse does not need the bald eagle. If something is nice then it needs the tiger. If something is young and it eats the bald eagle then the bald eagle is nice.
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
If something visits the mouse then the mouse does not need the bald eagle.
((("something" "visits" "mouse" "+")) -> ("mouse" "needs" "bald eagle" "-"))
If something is nice then it needs the tiger.
((("something" "is" "nice" "+")) -> ("something" "needs" "tiger" "+"))
If something is young and it eats the bald eagle then the bald eagle is nice.
((("something" "is" "young" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
The bald eagle needs the mouse.
True
1
proof
[(triple1)]
("bald eagle" "needs" "mouse" "+")
triple1
The mouse does not need the bald eagle.
False
1
inv-proof
[(triple6)]
("mouse" "needs" "bald eagle" "-")
triple6
The bald eagle is nice.
True
3
proof
[(((triple5 triple3) -> rule3))]
("bald eagle" "is" "nice" "+")
((triple5 triple3) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is not nice.
False
3
inv-proof
[(((triple5 triple3) -> rule3))]
("bald eagle" "is" "nice" "-")
((triple5 triple3) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle needs the tiger.
True
4
proof
[(((((triple5 triple3) -> rule3)) -> rule2))]
("bald eagle" "needs" "tiger" "+")
((((triple5 triple3) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle does not need the tiger.
False
4
inv-proof
[(((((triple5 triple3) -> rule3)) -> rule2))]
("bald eagle" "needs" "tiger" "-")
((((triple5 triple3) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The tiger does not need the tiger.
Unknown
inv-rconc
[@1: The tiger needs the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "needs" "tiger" "-")
The mouse needs the tiger.
Unknown
rconc
[@1: The mouse needs the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "needs" "tiger" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The tiger is not kind.
Unknown
inv-random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "-")
The mouse is big.
Unknown
random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "+")
@0: The bald eagle does not visit the tiger.[(triple2)] The bald eagle needs the mouse.[(triple1)] The mouse eats the bald eagle.[(triple3)] The mouse eats the tiger.[(triple4)] The mouse is young.[(triple5)] The mouse needs the bald eagle.[(triple6)] The mouse visits the bald eagle.[(triple7)] The tiger is green.[(triple8)] The tiger needs the bald eagle.[(triple9)] The tiger needs the mouse.[(triple10)] @1: The bald eagle is nice.[(((triple5 triple3) -> rule3))] @2: The bald eagle needs the tiger.[(((((triple5 triple3) -> rule3)) -> rule2))]
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
triple2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple3
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple4
The mouse is young.
("mouse" "is" "young" "+")
triple5
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple6
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple7
The tiger is green.
("tiger" "is" "green" "+")
triple8
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple9
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple10
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple5 triple3) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
((((triple5 triple3) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2