The bald eagle chases the lion. The bald eagle does not eat the lion. The bald eagle does not eat the mouse. The bald eagle is big. The lion eats the mouse. The mouse eats the bald eagle. The mouse is blue. If the bald eagle is big then the bald eagle is nice. If someone is nice then they visit the mouse. If the mouse chases the bald eagle then the bald eagle eats the lion. If someone chases the bald eagle and they chase the lion then they eat the lion. If someone visits the mouse then they do not eat the lion. If someone eats the bald eagle and they are not big then they are rough. If someone visits the mouse then they visit the lion. If the mouse eats the bald eagle and the bald eagle does not visit the mouse then the mouse visits the lion.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle does not eat the lion.
("bald eagle" "eats" "lion" "-")
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
If the bald eagle is big then the bald eagle is nice.
((("bald eagle" "is" "big" "+")) -> ("bald eagle" "is" "nice" "+"))
If someone is nice then they visit the mouse.
((("someone" "is" "nice" "+")) -> ("someone" "visits" "mouse" "+"))
If the mouse chases the bald eagle then the bald eagle eats the lion.
((("mouse" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "+"))
If someone chases the bald eagle and they chase the lion then they eat the lion.
((("someone" "chases" "bald eagle" "+") ("someone" "chases" "lion" "+")) -> ("someone" "eats" "lion" "+"))
If someone visits the mouse then they do not eat the lion.
((("someone" "visits" "mouse" "+")) -> ("someone" "eats" "lion" "-"))
If someone eats the bald eagle and they are not big then they are rough.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "rough" "+"))
If someone visits the mouse then they visit the lion.
((("someone" "visits" "mouse" "+")) -> ("someone" "visits" "lion" "+"))
If the mouse eats the bald eagle and the bald eagle does not visit the mouse then the mouse visits the lion.
((("mouse" "eats" "bald eagle" "+") ("bald eagle" "visits" "mouse" "~")) -> ("mouse" "visits" "lion" "+"))
The bald eagle chases the lion.
True
1
proof
[(triple1)]
("bald eagle" "chases" "lion" "+")
triple1
The lion does not eat the mouse.
False
1
inv-proof
[(triple5)]
("lion" "eats" "mouse" "-")
triple5
The bald eagle is nice.
True
2
proof
[(((triple4) -> rule1))]
("bald eagle" "is" "nice" "+")
((triple4) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is not nice.
False
2
inv-proof
[(((triple4) -> rule1))]
("bald eagle" "is" "nice" "-")
((triple4) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle visits the mouse.
True
3
proof
[(((((triple4) -> rule1)) -> rule2))]
("bald eagle" "visits" "mouse" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle does not visit the mouse.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule2))]
("bald eagle" "visits" "mouse" "-")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle visits the lion.
True
4
proof
[(((((((triple4) -> rule1)) -> rule2)) -> rule7))]
("bald eagle" "visits" "lion" "+")
((((((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle does not visit the lion.
False
4
inv-proof
[(((((((triple4) -> rule1)) -> rule2)) -> rule7))]
("bald eagle" "visits" "lion" "-")
((((((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The mouse does not visit the lion.
Unknown
inv-rconc
[@2: The mouse visits the lion.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("mouse" "visits" "lion" "-")
The mouse visits the mouse.
Unknown
rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "visits" "mouse" "+")
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The lion is rough.
Unknown
rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "is" "rough" "+")
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The mouse is big.
Unknown
random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle does not eat the lion.[(triple2 OR ((((((triple4) -> rule1)) -> rule2)) -> rule5))] The bald eagle does not eat the mouse.[(triple3)] The bald eagle is big.[(triple4)] The lion eats the mouse.[(triple5)] The mouse eats the bald eagle.[(triple6)] The mouse is blue.[(triple7)] @1: The bald eagle is nice.[(((triple4) -> rule1))] @2: The bald eagle visits the mouse.[(((((triple4) -> rule1)) -> rule2))] @3: The bald eagle visits the lion.[(((((((triple4) -> rule1)) -> rule2)) -> rule7))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle does not eat the lion.
("bald eagle" "eats" "lion" "-")
triple2
((((((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle does not eat the lion.
("bald eagle" "eats" "lion" "-")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
triple3
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple4
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple5
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple6
The mouse is blue.
("mouse" "is" "blue" "+")
triple7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple4) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
((((((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3