The mouse eats the tiger. The mouse is big. The mouse is green. The mouse is not kind. The mouse is rough. The mouse is young. The mouse needs the tiger. The mouse visits the tiger. The tiger eats the mouse. The tiger is big. The tiger is green. The tiger is kind. The tiger is not rough. The tiger is not young. The tiger needs the mouse. The tiger visits the mouse. If something is young and it eats the tiger then it eats the mouse. If the tiger visits the mouse and the tiger does not eat the mouse then the tiger is big. If something is big and it does not need the tiger then it is not rough.
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger is not young.
("tiger" "is" "young" "-")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If something is young and it eats the tiger then it eats the mouse.
((("something" "is" "young" "+") ("something" "eats" "tiger" "+")) -> ("something" "eats" "mouse" "+"))
If the tiger visits the mouse and the tiger does not eat the mouse then the tiger is big.
((("tiger" "visits" "mouse" "+") ("tiger" "eats" "mouse" "~")) -> ("tiger" "is" "big" "+"))
If something is big and it does not need the tiger then it is not rough.
((("something" "is" "big" "+") ("something" "needs" "tiger" "~")) -> ("something" "is" "rough" "-"))
The mouse needs the tiger.
True
1
proof
[(triple7)]
("mouse" "needs" "tiger" "+")
triple7
The tiger does not eat the mouse.
False
1
inv-proof
[(triple9)]
("tiger" "eats" "mouse" "-")
triple9
The mouse eats the mouse.
True
3
proof
[(((triple6 triple1) -> rule1))]
("mouse" "eats" "mouse" "+")
((triple6 triple1) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse does not eat the mouse.
False
3
inv-proof
[(((triple6 triple1) -> rule1))]
("mouse" "eats" "mouse" "-")
((triple6 triple1) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
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 visit the mouse.
Unknown
inv-random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The mouse eats the tiger.[(triple1)] The mouse is big.[(triple2)] The mouse is green.[(triple3)] The mouse is not kind.[(triple4)] The mouse is rough.[(triple5)] The mouse is young.[(triple6)] The mouse needs the tiger.[(triple7)] The mouse visits the tiger.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger is big.[(triple10)] The tiger is green.[(triple11)] The tiger is kind.[(triple12)] The tiger is not rough.[(triple13)] The tiger is not young.[(triple14)] The tiger needs the mouse.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The mouse eats the mouse.[(((triple6 triple1) -> rule1))]
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple1
The mouse is big.
("mouse" "is" "big" "+")
triple2
The mouse is green.
("mouse" "is" "green" "+")
triple3
The mouse is not kind.
("mouse" "is" "kind" "-")
triple4
The mouse is rough.
("mouse" "is" "rough" "+")
triple5
The mouse is young.
("mouse" "is" "young" "+")
triple6
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple7
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple8
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple11
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
The tiger is not rough.
("tiger" "is" "rough" "-")
triple13
The tiger is not young.
("tiger" "is" "young" "-")
triple14
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple15
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple16
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple6 triple1) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1