The bald eagle eats the rabbit. The lion is green. The mouse is rough. The rabbit eats the mouse. If something eats the rabbit then the rabbit visits the bald eagle. If something visits the bald eagle and the bald eagle eats the rabbit then the bald eagle visits the rabbit. If something visits the mouse and it is big then the mouse needs the bald eagle.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The lion is green.
("lion" "is" "green" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
If something eats the rabbit then the rabbit visits the bald eagle.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "visits" "bald eagle" "+"))
If something visits the bald eagle and the bald eagle eats the rabbit then the bald eagle visits the rabbit.
((("something" "visits" "bald eagle" "+") ("bald eagle" "eats" "rabbit" "+")) -> ("bald eagle" "visits" "rabbit" "+"))
If something visits the mouse and it is big then the mouse needs the bald eagle.
((("something" "visits" "mouse" "+") ("something" "is" "big" "+")) -> ("mouse" "needs" "bald eagle" "+"))
The lion is green.
True
1
proof
[(triple2)]
("lion" "is" "green" "+")
triple2
The bald eagle does not eat the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "rabbit" "-")
triple1
The rabbit visits the bald eagle.
True
2
proof
[(((triple1) -> rule1))]
("rabbit" "visits" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit does not visit the bald eagle.
False
2
inv-proof
[(((triple1) -> rule1))]
("rabbit" "visits" "bald eagle" "-")
((triple1) -> (rule1 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The bald eagle visits the rabbit.
True
4
proof
[(((((triple1) -> rule1) triple1) -> rule2))]
("bald eagle" "visits" "rabbit" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
The bald eagle does not visit the rabbit.
False
4
inv-proof
[(((((triple1) -> rule1) triple1) -> rule2))]
("bald eagle" "visits" "rabbit" "-")
((((triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
The mouse does not need the bald eagle.
Unknown
inv-rconc
[@1: The mouse needs the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "needs" "bald eagle" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The mouse needs the rabbit.
Unknown
random
[@0: The mouse needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "rabbit" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The lion is green.[(triple2)] The mouse is rough.[(triple3)] The rabbit eats the mouse.[(triple4)] @1: The rabbit visits the bald eagle.[(((triple1) -> rule1))] @2: The bald eagle visits the rabbit.[(((((triple1) -> rule1) triple1) -> rule2))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The lion is green.
("lion" "is" "green" "+")
triple2
The mouse is rough.
("mouse" "is" "rough" "+")
triple3
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple4
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2