The lion eats the tiger. The lion likes the mouse. The lion likes the tiger. The lion sees the tiger. The mouse is blue. The mouse is red. The mouse sees the lion. The tiger is blue. The tiger likes the lion. The tiger sees the mouse. If someone eats the tiger and they like the tiger then the tiger likes the mouse.
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If someone eats the tiger and they like the tiger then the tiger likes the mouse.
((("someone" "eats" "tiger" "+") ("someone" "likes" "tiger" "+")) -> ("tiger" "likes" "mouse" "+"))
The tiger sees the mouse.
True
1
proof
[(triple10)]
("tiger" "sees" "mouse" "+")
triple10
The lion does not eat the tiger.
False
1
inv-proof
[(triple1)]
("lion" "eats" "tiger" "-")
triple1
The tiger is not red.
Unknown
inv-random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The lion eats the tiger.[(triple1)] The lion likes the mouse.[(triple2)] The lion likes the tiger.[(triple3)] The lion sees the tiger.[(triple4)] The mouse is blue.[(triple5)] The mouse is red.[(triple6)] The mouse sees the lion.[(triple7)] The tiger is blue.[(triple8)] The tiger likes the lion.[(triple9)] The tiger sees the mouse.[(triple10)] @1: The tiger likes the mouse.[(((triple1 triple3) -> rule1))]
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple3
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple4
The mouse is blue.
("mouse" "is" "blue" "+")
triple5
The mouse is red.
("mouse" "is" "red" "+")
triple6
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple7
The tiger is blue.
("tiger" "is" "blue" "+")
triple8
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple9
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple10
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
((triple1 triple3) -> (rule1 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1