The cow is big. The mouse is green. The mouse needs the tiger. The mouse visits the rabbit. The rabbit is green. The rabbit needs the tiger. The rabbit visits the cow. The tiger eats the mouse. The tiger needs the cow. The tiger visits the rabbit. If something is kind then it needs the cow. If something is round and it visits the tiger then the tiger needs the mouse.
The cow is big.
("cow" "is" "big" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If something is kind then it needs the cow.
((("something" "is" "kind" "+")) -> ("something" "needs" "cow" "+"))
If something is round and it visits the tiger then the tiger needs the mouse.
((("something" "is" "round" "+") ("something" "visits" "tiger" "+")) -> ("tiger" "needs" "mouse" "+"))
The mouse visits the rabbit.
True
1
proof
[(triple4)]
("mouse" "visits" "rabbit" "+")
triple4
The cow is not big.
False
1
inv-proof
[(triple1)]
("cow" "is" "big" "-")
triple1
The tiger does not need the mouse.
Unknown
inv-rconc
[@1: The tiger needs the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "needs" "mouse" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The cow is big.[(triple1)] The mouse is green.[(triple2)] The mouse needs the tiger.[(triple3)] The mouse visits the rabbit.[(triple4)] The rabbit is green.[(triple5)] The rabbit needs the tiger.[(triple6)] The rabbit visits the cow.[(triple7)] The tiger eats the mouse.[(triple8)] The tiger needs the cow.[(triple9)] The tiger visits the rabbit.[(triple10)]
The cow is big.
("cow" "is" "big" "+")
triple1
The mouse is green.
("mouse" "is" "green" "+")
triple2
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple3
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple4
The rabbit is green.
("rabbit" "is" "green" "+")
triple5
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple6
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple7
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple8
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple9
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple10