The mouse chases the tiger. The tiger chases the mouse. If the tiger chases the mouse then the mouse does not eat the tiger.
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
If the tiger chases the mouse then the mouse does not eat the tiger.
((("tiger" "chases" "mouse" "+")) -> ("mouse" "eats" "tiger" "-"))
The mouse chases the tiger.
True
1
proof
[(triple1)]
("mouse" "chases" "tiger" "+")
triple1
The tiger does not chase the mouse.
False
1
inv-proof
[(triple2)]
("tiger" "chases" "mouse" "-")
triple2
The mouse does not eat the tiger.
True
2
proof
[(((triple2) -> rule1))]
("mouse" "eats" "tiger" "-")
((triple2) -> (rule1 % int1))
The mouse does not eat the tiger.
("mouse" "eats" "tiger" "-")
int1
The mouse eats the tiger.
False
2
inv-proof
[(((triple2) -> rule1))]
("mouse" "eats" "tiger" "+")
((triple2) -> (rule1 % int1))
The mouse does not eat the tiger.
("mouse" "eats" "tiger" "-")
int1
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The mouse is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
The tiger does not eat the mouse.
Unknown
inv-random
[@0: The tiger eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "mouse" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The mouse chases the tiger.[(triple1)] The tiger chases the mouse.[(triple2)] @1: The mouse does not eat the tiger.[(((triple2) -> rule1))]
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple1
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple2
The mouse does not eat the tiger.
("mouse" "eats" "tiger" "-")
((triple2) -> (rule1 % int1))
The mouse does not eat the tiger.
("mouse" "eats" "tiger" "-")
int1