The bald eagle eats the tiger. The bald eagle is not blue. The bald eagle likes the tiger. The bald eagle does not visit the mouse. The mouse eats the tiger. The mouse is big. The mouse is rough. The mouse is round. The mouse likes the tiger. The mouse visits the bald eagle. The tiger likes the mouse. The tiger visits the bald eagle. If someone likes the mouse then they eat the bald eagle. If someone is rough then they visit the bald eagle. If the mouse does not eat the tiger then the mouse visits the bald eagle.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle does not visit the mouse.
("bald eagle" "visits" "mouse" "-")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If someone likes the mouse then they eat the bald eagle.
((("someone" "likes" "mouse" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone is rough then they visit the bald eagle.
((("someone" "is" "rough" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the mouse does not eat the tiger then the mouse visits the bald eagle.
((("mouse" "eats" "tiger" "~")) -> ("mouse" "visits" "bald eagle" "+"))
The mouse visits the bald eagle.
True
1
proof
[(triple10 OR ((triple7) -> rule2))]
("mouse" "visits" "bald eagle" "+")
triple10
((triple7) -> (rule2 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The bald eagle does not eat the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "tiger" "-")
triple1
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The tiger likes the bald eagle.
Unknown
random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "+")
@0: The bald eagle does not visit the mouse.[(triple4)] The bald eagle eats the tiger.[(triple1)] The bald eagle is not blue.[(triple2)] The bald eagle likes the tiger.[(triple3)] The mouse eats the tiger.[(triple5)] The mouse is big.[(triple6)] The mouse is rough.[(triple7)] The mouse is round.[(triple8)] The mouse likes the tiger.[(triple9)] The mouse visits the bald eagle.[(triple10 OR ((triple7) -> rule2))] The tiger likes the mouse.[(triple11)] The tiger visits the bald eagle.[(triple12)] @1: The tiger eats the bald eagle.[(((triple11) -> rule1))]
The bald eagle does not visit the mouse.
("bald eagle" "visits" "mouse" "-")
triple4
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple5
The mouse is big.
("mouse" "is" "big" "+")
triple6
The mouse is rough.
("mouse" "is" "rough" "+")
triple7
The mouse is round.
("mouse" "is" "round" "+")
triple8
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple9
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple10
((triple7) -> (rule2 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple11
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple12
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
((triple11) -> (rule1 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1