The mouse does not eat the tiger. The mouse is big. The mouse is young. The tiger eats the mouse. The tiger is round. The tiger is young. The tiger needs the mouse. If someone visits the tiger and they visit the mouse then the tiger is round. If the tiger visits the mouse and the tiger eats the mouse then the mouse is green. If someone is green and they eat the mouse then the mouse is green. If someone needs the mouse then they visit the mouse. If someone needs the tiger and they do not visit the tiger then they do not eat the tiger. If someone visits the mouse and they eat the mouse then they need the mouse.
The mouse does not eat the tiger.
("mouse" "eats" "tiger" "-")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is young.
("mouse" "is" "young" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
If someone visits the tiger and they visit the mouse then the tiger is round.
((("someone" "visits" "tiger" "+") ("someone" "visits" "mouse" "+")) -> ("tiger" "is" "round" "+"))
If the tiger visits the mouse and the tiger eats the mouse then the mouse is green.
((("tiger" "visits" "mouse" "+") ("tiger" "eats" "mouse" "+")) -> ("mouse" "is" "green" "+"))
If someone is green and they eat the mouse then the mouse is green.
((("someone" "is" "green" "+") ("someone" "eats" "mouse" "+")) -> ("mouse" "is" "green" "+"))
If someone needs the mouse then they visit the mouse.
((("someone" "needs" "mouse" "+")) -> ("someone" "visits" "mouse" "+"))
If someone needs the tiger and they do not visit the tiger then they do not eat the tiger.
((("someone" "needs" "tiger" "+") ("someone" "visits" "tiger" "~")) -> ("someone" "eats" "tiger" "-"))
If someone visits the mouse and they eat the mouse then they need the mouse.
((("someone" "visits" "mouse" "+") ("someone" "eats" "mouse" "+")) -> ("someone" "needs" "mouse" "+"))
The tiger eats the mouse.
True
1
proof
[(triple4)]
("tiger" "eats" "mouse" "+")
triple4
The mouse eats the tiger.
False
1
inv-proof
[(triple1)]
("mouse" "eats" "tiger" "+")
triple1
The tiger visits the mouse.
True
2
proof
[(((triple7) -> rule4))]
("tiger" "visits" "mouse" "+")
((triple7) -> (rule4 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
The tiger does not visit the mouse.
False
2
inv-proof
[(((triple7) -> rule4))]
("tiger" "visits" "mouse" "-")
((triple7) -> (rule4 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
The mouse is green.
True
4
proof
[(((((triple7) -> rule4) triple4) -> rule2))]
("mouse" "is" "green" "+")
((((triple7) -> (rule4 % int2)) triple4) -> (rule2 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2
The mouse is not green.
False
4
inv-proof
[(((((triple7) -> rule4) triple4) -> rule2))]
("mouse" "is" "green" "-")
((((triple7) -> (rule4 % int2)) triple4) -> (rule2 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2
The mouse does not visit the mouse.
Unknown
inv-rconc
[@2: The mouse visits the mouse.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("mouse" "visits" "mouse" "-")
The mouse needs the mouse.
Unknown
rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "needs" "mouse" "+")
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
The mouse does not need the tiger.
Unknown
inv-random
[@0: The mouse needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "tiger" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The mouse does not eat the tiger.[(triple1)] The mouse is big.[(triple2)] The mouse is young.[(triple3)] The tiger eats the mouse.[(triple4)] The tiger is round.[(triple5)] The tiger is young.[(triple6)] The tiger needs the mouse.[(triple7)] @1: The tiger visits the mouse.[(((triple7) -> rule4))] @2: The mouse is green.[(((((triple7) -> rule4) triple4) -> rule2))]
The mouse does not eat the tiger.
("mouse" "eats" "tiger" "-")
triple1
The mouse is big.
("mouse" "is" "big" "+")
triple2
The mouse is young.
("mouse" "is" "young" "+")
triple3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple4
The tiger is round.
("tiger" "is" "round" "+")
triple5
The tiger is young.
("tiger" "is" "young" "+")
triple6
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple7
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
((triple7) -> (rule4 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
((((triple7) -> (rule4 % int2)) triple4) -> (rule2 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2