The bald eagle eats the mouse. The bald eagle does not eat the tiger. The bald eagle is kind. The mouse chases the tiger. The mouse eats the bald eagle. The mouse is cold. The tiger likes the bald eagle. If someone eats the bald eagle then they do not eat the mouse.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
If someone eats the bald eagle then they do not eat the mouse.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "eats" "mouse" "-"))
The mouse is cold.
True
1
proof
[(triple6)]
("mouse" "is" "cold" "+")
triple6
The bald eagle does not eat the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "mouse" "-")
triple1
The mouse does not eat the mouse.
True
2
proof
[(((triple5) -> rule1))]
("mouse" "eats" "mouse" "-")
((triple5) -> (rule1 % int1))
The mouse does not eat the mouse.
("mouse" "eats" "mouse" "-")
int1
The mouse eats the mouse.
False
2
inv-proof
[(((triple5) -> rule1))]
("mouse" "eats" "mouse" "+")
((triple5) -> (rule1 % int1))
The mouse does not eat the mouse.
("mouse" "eats" "mouse" "-")
int1
The tiger does not eat the bald eagle.
Unknown
inv-random
[@0: The tiger eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "bald eagle" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
The bald eagle does not chase the mouse.
Unknown
inv-random
[@0: The bald eagle chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "mouse" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle does not eat the tiger.[(triple2)] The bald eagle eats the mouse.[(triple1)] The bald eagle is kind.[(triple3)] The mouse chases the tiger.[(triple4)] The mouse eats the bald eagle.[(triple5)] The mouse is cold.[(triple6)] The tiger likes the bald eagle.[(triple7)] @1: The mouse does not eat the mouse.[(((triple5) -> rule1))]
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
triple2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple4
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple5
The mouse is cold.
("mouse" "is" "cold" "+")
triple6
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple7
The mouse does not eat the mouse.
("mouse" "eats" "mouse" "-")
((triple5) -> (rule1 % int1))
The mouse does not eat the mouse.
("mouse" "eats" "mouse" "-")
int1