The cat is green. The cat is red. The lion eats the tiger. The lion is red. The lion needs the cat. The lion needs the tiger. The mouse is not red. The tiger is nice. The tiger is rough. The tiger likes the cat. The tiger likes the lion. The tiger likes the mouse. If the tiger eats the cat then the cat is green. If someone is rough and they do not like the mouse then they like the cat. If someone likes the lion and they like the cat then the lion is green. If someone is red and they do not need the mouse then the mouse does not need the lion. If someone likes the mouse and the mouse needs the cat then the mouse is rough. If the lion needs the cat and the cat is green then the lion eats the tiger. If someone needs the cat and they like the cat then the cat needs the lion. If someone needs the mouse then the mouse does not eat the cat.
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is red.
("lion" "is" "red" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The mouse is not red.
("mouse" "is" "red" "-")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
If the tiger eats the cat then the cat is green.
((("tiger" "eats" "cat" "+")) -> ("cat" "is" "green" "+"))
If someone is rough and they do not like the mouse then they like the cat.
((("someone" "is" "rough" "+") ("someone" "likes" "mouse" "~")) -> ("someone" "likes" "cat" "+"))
If someone likes the lion and they like the cat then the lion is green.
((("someone" "likes" "lion" "+") ("someone" "likes" "cat" "+")) -> ("lion" "is" "green" "+"))
If someone is red and they do not need the mouse then the mouse does not need the lion.
((("someone" "is" "red" "+") ("someone" "needs" "mouse" "~")) -> ("mouse" "needs" "lion" "-"))
If someone likes the mouse and the mouse needs the cat then the mouse is rough.
((("someone" "likes" "mouse" "+") ("mouse" "needs" "cat" "+")) -> ("mouse" "is" "rough" "+"))
If the lion needs the cat and the cat is green then the lion eats the tiger.
((("lion" "needs" "cat" "+") ("cat" "is" "green" "+")) -> ("lion" "eats" "tiger" "+"))
If someone needs the cat and they like the cat then the cat needs the lion.
((("someone" "needs" "cat" "+") ("someone" "likes" "cat" "+")) -> ("cat" "needs" "lion" "+"))
If someone needs the mouse then the mouse does not eat the cat.
((("someone" "needs" "mouse" "+")) -> ("mouse" "eats" "cat" "-"))
The cat is green.
True
1
proof
[(triple1)]
("cat" "is" "green" "+")
triple1
The tiger is not rough.
False
1
inv-proof
[(triple9)]
("tiger" "is" "rough" "-")
triple9
The lion is green.
True
3
proof
[(((triple11 triple10) -> rule3))]
("lion" "is" "green" "+")
((triple11 triple10) -> (rule3 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is not green.
False
3
inv-proof
[(((triple11 triple10) -> rule3))]
("lion" "is" "green" "-")
((triple11 triple10) -> (rule3 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion does not like the cat.
Unknown
inv-rconc
[@1: The lion likes the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "likes" "cat" "-")
The mouse is rough.
Unknown
rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "rough" "+")
The tiger does not need the lion.
Unknown
inv-random
[@0: The tiger needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "lion" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The cat is green.[(triple1)] The cat is red.[(triple2)] The lion eats the tiger.[(triple3 OR ((triple5 triple1) -> rule6))] The lion is red.[(triple4)] The lion needs the cat.[(triple5)] The lion needs the tiger.[(triple6)] The mouse is not red.[(triple7)] The tiger is nice.[(triple8)] The tiger is rough.[(triple9)] The tiger likes the cat.[(triple10)] The tiger likes the lion.[(triple11)] The tiger likes the mouse.[(triple12)] @1: The lion is green.[(((triple11 triple10) -> rule3))]
The cat is green.
("cat" "is" "green" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple3
((triple5 triple1) -> (rule6 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The lion is red.
("lion" "is" "red" "+")
triple4
The lion needs the cat.
("lion" "needs" "cat" "+")
triple5
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple6
The mouse is not red.
("mouse" "is" "red" "-")
triple7
The tiger is nice.
("tiger" "is" "nice" "+")
triple8
The tiger is rough.
("tiger" "is" "rough" "+")
triple9
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple10
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple11
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple12
The lion is green.
("lion" "is" "green" "+")
((triple11 triple10) -> (rule3 % int1))
The lion is green.
("lion" "is" "green" "+")
int1