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