The bald eagle eats the mouse. The bald eagle eats the tiger. The bald eagle is green. The bald eagle is round. The bear eats the mouse. The bear is green. The bear sees the bald eagle. The bear sees the tiger. The bear visits the bald eagle. The mouse eats the bear. The mouse sees the bear. The tiger eats the mouse. The tiger is big. The tiger is round. The tiger sees the mouse. If someone visits the bald eagle then the bald eagle eats the mouse. If the tiger eats the bald eagle then the tiger sees the mouse. If the bear is round then the bear visits the bald eagle. If someone sees the mouse then they eat the bear. If someone visits the bald eagle and the bald eagle is round then the bald eagle eats the mouse. If someone is rough and they see the bald eagle then the bald eagle visits the mouse. If someone sees the bear then they visit the tiger. If someone visits the tiger then they are round.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is green.
("bear" "is" "green" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If someone visits the bald eagle then the bald eagle eats the mouse.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "mouse" "+"))
If the tiger eats the bald eagle then the tiger sees the mouse.
((("tiger" "eats" "bald eagle" "+")) -> ("tiger" "sees" "mouse" "+"))
If the bear is round then the bear visits the bald eagle.
((("bear" "is" "round" "+")) -> ("bear" "visits" "bald eagle" "+"))
If someone sees the mouse then they eat the bear.
((("someone" "sees" "mouse" "+")) -> ("someone" "eats" "bear" "+"))
If someone visits the bald eagle and the bald eagle is round then the bald eagle eats the mouse.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "is" "round" "+")) -> ("bald eagle" "eats" "mouse" "+"))
If someone is rough and they see the bald eagle then the bald eagle visits the mouse.
((("someone" "is" "rough" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "visits" "mouse" "+"))
If someone sees the bear then they visit the tiger.
((("someone" "sees" "bear" "+")) -> ("someone" "visits" "tiger" "+"))
If someone visits the tiger then they are round.
((("someone" "visits" "tiger" "+")) -> ("someone" "is" "round" "+"))
The tiger is round.
True
1
proof
[(triple14)]
("tiger" "is" "round" "+")
triple14
The bear does not eat the mouse.
False
1
inv-proof
[(triple5)]
("bear" "eats" "mouse" "-")
triple5
The mouse visits the tiger.
True
2
proof
[(((triple11) -> rule7))]
("mouse" "visits" "tiger" "+")
((triple11) -> (rule7 % int1))
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int1
The mouse does not visit the tiger.
False
2
inv-proof
[(((triple11) -> rule7))]
("mouse" "visits" "tiger" "-")
((triple11) -> (rule7 % int1))
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int1
The mouse is round.
True
3
proof
[(((((triple11) -> rule7)) -> rule8))]
("mouse" "is" "round" "+")
((((triple11) -> (rule7 % int2))) -> (rule8 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
The mouse is not round.
False
3
inv-proof
[(((((triple11) -> rule7)) -> rule8))]
("mouse" "is" "round" "-")
((((triple11) -> (rule7 % int2))) -> (rule8 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
The bear is not round.
Unknown
inv-rconc
[@2: The bear is round.[CWA. Example of deepest failure = (rule8 <- rule7 <- FAIL)]]
("bear" "is" "round" "-")
The bald eagle eats the bear.
Unknown
rconc
[@1: The bald eagle eats the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "bear" "+")
The bald eagle does not visit the mouse.
Unknown
inv-rconc
[@1: The bald eagle visits the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "visits" "mouse" "-")
The bald eagle sees the tiger.
Unknown
random
[@0: The bald eagle sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "tiger" "+")
The mouse does not see the bald eagle.
Unknown
inv-random
[@0: The mouse sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bald eagle" "-")
The bald eagle sees the mouse.
Unknown
random
[@0: The bald eagle sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "mouse" "+")
@0: The bald eagle eats the mouse.[(triple1 OR ((triple9) -> rule1) OR ((triple9 triple4) -> rule5))] The bald eagle eats the tiger.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is round.[(triple4)] The bear eats the mouse.[(triple5)] The bear is green.[(triple6)] The bear sees the bald eagle.[(triple7)] The bear sees the tiger.[(triple8)] The bear visits the bald eagle.[(triple9)] The mouse eats the bear.[(triple10)] The mouse sees the bear.[(triple11)] The tiger eats the mouse.[(triple12)] The tiger is big.[(triple13)] The tiger is round.[(triple14)] The tiger sees the mouse.[(triple15)] @1: The mouse visits the tiger.[(((triple11) -> rule7))] The tiger eats the bear.[(((triple15) -> rule4))] @2: The mouse is round.[(((((triple11) -> rule7)) -> rule8))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
((triple9) -> (rule1 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
((triple9 triple4) -> (rule5 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple5
The bear is green.
("bear" "is" "green" "+")
triple6
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple7
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple8
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple9
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple10
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple11
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple13
The tiger is round.
("tiger" "is" "round" "+")
triple14
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple15
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
((triple11) -> (rule7 % int1))
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
((triple15) -> (rule4 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
((((triple11) -> (rule7 % int2))) -> (rule8 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2