The cat is green. The cat sees the mouse. The mouse is cold. The mouse is green. The mouse likes the cat. The mouse likes the tiger. The mouse sees the tiger. The tiger eats the mouse. The tiger likes the cat. The tiger sees the cat. If something sees the tiger and it is blue then the tiger sees the mouse. If something likes the mouse then it is blue. If something is red then it eats the mouse.
The cat is green.
("cat" "is" "green" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If something sees the tiger and it is blue then the tiger sees the mouse.
((("something" "sees" "tiger" "+") ("something" "is" "blue" "+")) -> ("tiger" "sees" "mouse" "+"))
If something likes the mouse then it is blue.
((("something" "likes" "mouse" "+")) -> ("something" "is" "blue" "+"))
If something is red then it eats the mouse.
((("something" "is" "red" "+")) -> ("something" "eats" "mouse" "+"))
The tiger eats the mouse.
True
1
proof
[(triple8)]
("tiger" "eats" "mouse" "+")
triple8
The mouse is not cold.
False
1
inv-proof
[(triple3)]
("mouse" "is" "cold" "-")
triple3
The cat does not eat the mouse.
Unknown
inv-rconc
[@1: The cat eats the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "eats" "mouse" "-")
The mouse eats the tiger.
Unknown
random
[@0: The mouse eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "tiger" "+")
@0: The cat is green.[(triple1)] The cat sees the mouse.[(triple2)] The mouse is cold.[(triple3)] The mouse is green.[(triple4)] The mouse likes the cat.[(triple5)] The mouse likes the tiger.[(triple6)] The mouse sees the tiger.[(triple7)] The tiger eats the mouse.[(triple8)] The tiger likes the cat.[(triple9)] The tiger sees the cat.[(triple10)]
The cat is green.
("cat" "is" "green" "+")
triple1
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple2
The mouse is cold.
("mouse" "is" "cold" "+")
triple3
The mouse is green.
("mouse" "is" "green" "+")
triple4
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple5
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple6
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple7
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple8
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple9
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple10