The bald eagle chases the tiger. The bald eagle eats the tiger. The mouse chases the bald eagle. The rabbit chases the bald eagle. The rabbit does not chase the mouse. The rabbit eats the mouse. The rabbit is blue. The tiger chases the bald eagle. The tiger chases the mouse. The tiger is blue. The tiger is cold. The tiger is not rough. If someone eats the tiger and they do not need the bald eagle then the bald eagle chases the mouse. If someone chases the mouse then the mouse does not chase the tiger.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit does not chase the mouse.
("rabbit" "chases" "mouse" "-")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is not rough.
("tiger" "is" "rough" "-")
If someone eats the tiger and they do not need the bald eagle then the bald eagle chases the mouse.
((("someone" "eats" "tiger" "+") ("someone" "needs" "bald eagle" "~")) -> ("bald eagle" "chases" "mouse" "+"))
If someone chases the mouse then the mouse does not chase the tiger.
((("someone" "chases" "mouse" "+")) -> ("mouse" "chases" "tiger" "-"))
The tiger chases the mouse.
True
1
proof
[(triple9)]
("tiger" "chases" "mouse" "+")
triple9
The tiger does not chase the bald eagle.
False
1
inv-proof
[(triple8)]
("tiger" "chases" "bald eagle" "-")
triple8
The mouse does not chase the tiger.
True
2
proof
[(((triple9) -> rule2))]
("mouse" "chases" "tiger" "-")
((triple9) -> (rule2 % int1))
The mouse does not chase the tiger.
("mouse" "chases" "tiger" "-")
int1
The mouse chases the tiger.
False
2
inv-proof
[(((triple9) -> rule2))]
("mouse" "chases" "tiger" "+")
((triple9) -> (rule2 % int1))
The mouse does not chase the tiger.
("mouse" "chases" "tiger" "-")
int1
The bald eagle does not chase the mouse.
Unknown
inv-rconc
[@1: The bald eagle chases the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "mouse" "-")
The mouse eats the bald eagle.
Unknown
random
[@0: The mouse eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bald eagle" "+")
The mouse is not rough.
Unknown
inv-random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "-")
The bald eagle needs the tiger.
Unknown
random
[@0: The bald eagle needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "tiger" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the tiger.[(triple2)] The mouse chases the bald eagle.[(triple3)] The rabbit chases the bald eagle.[(triple4)] The rabbit does not chase the mouse.[(triple5)] The rabbit eats the mouse.[(triple6)] The rabbit is blue.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger chases the mouse.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger is not rough.[(triple12)] @1: The mouse does not chase the tiger.[(((triple9) -> rule2))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple3
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple4
The rabbit does not chase the mouse.
("rabbit" "chases" "mouse" "-")
triple5
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple6
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple7
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple8
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
The tiger is not rough.
("tiger" "is" "rough" "-")
triple12
The mouse does not chase the tiger.
("mouse" "chases" "tiger" "-")
((triple9) -> (rule2 % int1))
The mouse does not chase the tiger.
("mouse" "chases" "tiger" "-")
int1