The bald eagle chases the tiger. The mouse chases the tiger. The tiger is rough. Round, red people are rough. If someone visits the bald eagle then the bald eagle is young. If the bald eagle is young and the bald eagle visits the mouse then the mouse eats the bald eagle. If the mouse visits the bald eagle then the bald eagle eats the mouse. If someone chases the tiger then they visit the bald eagle. If someone visits the mouse then the mouse chases the bald eagle. If someone eats the tiger and they visit the mouse then the mouse chases the tiger. If someone chases the mouse then they visit the mouse.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
Round, red people are rough.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone visits the bald eagle then the bald eagle is young.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
If the bald eagle is young and the bald eagle visits the mouse then the mouse eats the bald eagle.
((("bald eagle" "is" "young" "+") ("bald eagle" "visits" "mouse" "+")) -> ("mouse" "eats" "bald eagle" "+"))
If the mouse visits the bald eagle then the bald eagle eats the mouse.
((("mouse" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "mouse" "+"))
If someone chases the tiger then they visit the bald eagle.
((("someone" "chases" "tiger" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone visits the mouse then the mouse chases the bald eagle.
((("someone" "visits" "mouse" "+")) -> ("mouse" "chases" "bald eagle" "+"))
If someone eats the tiger and they visit the mouse then the mouse chases the tiger.
((("someone" "eats" "tiger" "+") ("someone" "visits" "mouse" "+")) -> ("mouse" "chases" "tiger" "+"))
If someone chases the mouse then they visit the mouse.
((("someone" "chases" "mouse" "+")) -> ("someone" "visits" "mouse" "+"))
The mouse chases the tiger.
True
1
proof
[(triple2)]
("mouse" "chases" "tiger" "+")
triple2
The tiger is not rough.
False
1
inv-proof
[(triple3)]
("tiger" "is" "rough" "-")
triple3
The mouse visits the bald eagle.
True
2
proof
[(((triple2) -> rule5))]
("mouse" "visits" "bald eagle" "+")
((triple2) -> (rule5 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The mouse does not visit the bald eagle.
False
2
inv-proof
[(((triple2) -> rule5))]
("mouse" "visits" "bald eagle" "-")
((triple2) -> (rule5 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The bald eagle is young.
True
3
proof
[(((((triple1) -> rule5)) -> rule2) OR ((((triple2) -> rule5)) -> rule2))]
("bald eagle" "is" "young" "+")
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2
The bald eagle is not young.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule2) OR ((((triple2) -> rule5)) -> rule2))]
("bald eagle" "is" "young" "-")
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2
The mouse is not rough.
Unknown
inv-rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "rough" "-")
The mouse visits the mouse.
Unknown
rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "visits" "mouse" "+")
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The bald eagle chases the mouse.
Unknown
random
[@0: The bald eagle chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "mouse" "+")
The mouse is not kind.
Unknown
inv-random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle chases the tiger.[(triple1)] The mouse chases the tiger.[(triple2)] The tiger is rough.[(triple3)] @1: The bald eagle visits the bald eagle.[(((triple1) -> rule5))] The mouse visits the bald eagle.[(((triple2) -> rule5))] @2: The bald eagle eats the mouse.[(((((triple2) -> rule5)) -> rule4))] The bald eagle is young.[(((((triple1) -> rule5)) -> rule2) OR ((((triple2) -> rule5)) -> rule2))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple2
The tiger is rough.
("tiger" "is" "rough" "+")
triple3
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple1) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
((triple2) -> (rule5 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2