The bald eagle eats the mouse. The bald eagle eats the tiger. The bald eagle is young. The bald eagle likes the mouse. The bald eagle likes the tiger. The bald eagle does not visit the tiger. The mouse eats the tiger. The mouse is not green. The mouse is red. The mouse visits the tiger. The tiger eats the bald eagle. The tiger eats the mouse. The tiger likes the bald eagle. The tiger likes the mouse. The tiger visits the mouse. 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 young.
("bald eagle" "is" "young" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is not green.
("mouse" "is" "green" "-")
The mouse is red.
("mouse" "is" "red" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If someone visits the tiger then they are round.
((("someone" "visits" "tiger" "+")) -> ("someone" "is" "round" "+"))
The bald eagle is young.
True
1
proof
[(triple3)]
("bald eagle" "is" "young" "+")
triple3
The bald eagle does not eat the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "mouse" "-")
triple1
The mouse is round.
True
2
proof
[(((triple10) -> rule1))]
("mouse" "is" "round" "+")
((triple10) -> (rule1 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is not round.
False
2
inv-proof
[(((triple10) -> rule1))]
("mouse" "is" "round" "-")
((triple10) -> (rule1 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The tiger is not round.
Unknown
inv-rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "round" "-")
The bald eagle is round.
Unknown
rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "round" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The bald eagle does not visit the tiger.[(triple6)] The bald eagle eats the mouse.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the mouse.[(triple4)] The bald eagle likes the tiger.[(triple5)] The mouse eats the tiger.[(triple7)] The mouse is not green.[(triple8)] The mouse is red.[(triple9)] The mouse visits the tiger.[(triple10)] The tiger eats the bald eagle.[(triple11)] The tiger eats the mouse.[(triple12)] The tiger likes the bald eagle.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The mouse is round.[(((triple10) -> rule1))]
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
triple6
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple4
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple5
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple7
The mouse is not green.
("mouse" "is" "green" "-")
triple8
The mouse is red.
("mouse" "is" "red" "+")
triple9
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple10
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple11
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple12
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple13
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple14
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple15
The mouse is round.
("mouse" "is" "round" "+")
((triple10) -> (rule1 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1