The mouse eats the tiger. The mouse is blue. The mouse is not cold. The mouse is not green. The mouse is red. The mouse is rough. The mouse likes the tiger. The mouse sees the tiger. The tiger does not eat the mouse. The tiger is blue. The tiger is cold. The tiger is green. The tiger is red. The tiger is rough. The tiger likes the mouse. The tiger sees the mouse. If something likes the tiger and the tiger does not eat the mouse then it sees the mouse.
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is not cold.
("mouse" "is" "cold" "-")
The mouse is not green.
("mouse" "is" "green" "-")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The tiger does not eat the mouse.
("tiger" "eats" "mouse" "-")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If something likes the tiger and the tiger does not eat the mouse then it sees the mouse.
((("something" "likes" "tiger" "+") ("tiger" "eats" "mouse" "~")) -> ("something" "sees" "mouse" "+"))
The mouse is rough.
True
1
proof
[(triple6)]
("mouse" "is" "rough" "+")
triple6
The mouse is green.
False
1
inv-proof
[(triple4)]
("mouse" "is" "green" "+")
triple4
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The mouse eats the tiger.[(triple1)] The mouse is blue.[(triple2)] The mouse is not cold.[(triple3)] The mouse is not green.[(triple4)] The mouse is red.[(triple5)] The mouse is rough.[(triple6)] The mouse likes the tiger.[(triple7)] The mouse sees the tiger.[(triple8)] The tiger does not eat the mouse.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger is green.[(triple12)] The tiger is red.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the mouse.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The mouse sees the mouse.[(((triple7 triple9) -> rule1))]
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple1
The mouse is blue.
("mouse" "is" "blue" "+")
triple2
The mouse is not cold.
("mouse" "is" "cold" "-")
triple3
The mouse is not green.
("mouse" "is" "green" "-")
triple4
The mouse is red.
("mouse" "is" "red" "+")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple7
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple8
The tiger does not eat the mouse.
("tiger" "eats" "mouse" "-")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
The tiger is green.
("tiger" "is" "green" "+")
triple12
The tiger is red.
("tiger" "is" "red" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple15
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple16
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple7 triple9) -> (rule1 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1