The cat does not like the tiger. The cat needs the mouse. The cat needs the tiger. The cat sees the mouse. The mouse likes the tiger. The mouse needs the cat. The mouse needs the tiger. The tiger is big. The tiger is blue. The tiger likes the cat. The tiger does not like the mouse. The tiger needs the cat. The tiger needs the mouse. The tiger sees the cat. The tiger sees the mouse. If someone needs the cat and they are blue then they do not see the tiger.
The cat does not like the tiger.
("cat" "likes" "tiger" "-")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
The tiger does not like the mouse.
("tiger" "likes" "mouse" "-")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If someone needs the cat and they are blue then they do not see the tiger.
((("someone" "needs" "cat" "+") ("someone" "is" "blue" "+")) -> ("someone" "sees" "tiger" "-"))
The tiger does not like the mouse.
True
1
proof
[(triple11)]
("tiger" "likes" "mouse" "-")
triple11
The tiger is not big.
False
1
inv-proof
[(triple8)]
("tiger" "is" "big" "-")
triple8
The tiger does not see the tiger.
True
3
proof
[(((triple12 triple9) -> rule1))]
("tiger" "sees" "tiger" "-")
((triple12 triple9) -> (rule1 % int1))
The tiger does not see the tiger.
("tiger" "sees" "tiger" "-")
int1
The tiger sees the tiger.
False
3
inv-proof
[(((triple12 triple9) -> rule1))]
("tiger" "sees" "tiger" "+")
((triple12 triple9) -> (rule1 % int1))
The tiger does not see the tiger.
("tiger" "sees" "tiger" "-")
int1
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
The mouse is not green.
Unknown
inv-random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
@0: The cat does not like the tiger.[(triple1)] The cat needs the mouse.[(triple2)] The cat needs the tiger.[(triple3)] The cat sees the mouse.[(triple4)] The mouse likes the tiger.[(triple5)] The mouse needs the cat.[(triple6)] The mouse needs the tiger.[(triple7)] The tiger does not like the mouse.[(triple11)] The tiger is big.[(triple8)] The tiger is blue.[(triple9)] The tiger likes the cat.[(triple10)] The tiger needs the cat.[(triple12)] The tiger needs the mouse.[(triple13)] The tiger sees the cat.[(triple14)] The tiger sees the mouse.[(triple15)] @1: The tiger does not see the tiger.[(((triple12 triple9) -> rule1))]
The cat does not like the tiger.
("cat" "likes" "tiger" "-")
triple1
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple3
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple4
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple5
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple6
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple7
The tiger does not like the mouse.
("tiger" "likes" "mouse" "-")
triple11
The tiger is big.
("tiger" "is" "big" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple10
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple12
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple13
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple14
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple15
The tiger does not see the tiger.
("tiger" "sees" "tiger" "-")
((triple12 triple9) -> (rule1 % int1))
The tiger does not see the tiger.
("tiger" "sees" "tiger" "-")
int1