The mouse eats the tiger. The mouse is round. The mouse likes the tiger. The mouse visits the tiger. The rabbit does not like the tiger. The rabbit visits the tiger. The tiger does not eat the mouse. The tiger is big. The tiger is blue. The tiger does not like the mouse. If something eats the rabbit and the rabbit is not nice then the rabbit does not like the mouse. If something is big then it does not eat the tiger. If something eats the tiger and the tiger is young then the tiger likes the rabbit. If something visits the rabbit then it likes the mouse. If something is young then it eats the mouse. If the tiger visits the mouse and the mouse does not visit the tiger then the tiger is not young. If something eats the mouse then it does not like the tiger. If the tiger visits the mouse then the tiger is big.
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The rabbit does not like the tiger.
("rabbit" "likes" "tiger" "-")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger does not eat the mouse.
("tiger" "eats" "mouse" "-")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger does not like the mouse.
("tiger" "likes" "mouse" "-")
If something eats the rabbit and the rabbit is not nice then the rabbit does not like the mouse.
((("something" "eats" "rabbit" "+") ("rabbit" "is" "nice" "~")) -> ("rabbit" "likes" "mouse" "-"))
If something is big then it does not eat the tiger.
((("something" "is" "big" "+")) -> ("something" "eats" "tiger" "-"))
If something eats the tiger and the tiger is young then the tiger likes the rabbit.
((("something" "eats" "tiger" "+") ("tiger" "is" "young" "+")) -> ("tiger" "likes" "rabbit" "+"))
If something visits the rabbit then it likes the mouse.
((("something" "visits" "rabbit" "+")) -> ("something" "likes" "mouse" "+"))
If something is young then it eats the mouse.
((("something" "is" "young" "+")) -> ("something" "eats" "mouse" "+"))
If the tiger visits the mouse and the mouse does not visit the tiger then the tiger is not young.
((("tiger" "visits" "mouse" "+") ("mouse" "visits" "tiger" "~")) -> ("tiger" "is" "young" "-"))
If something eats the mouse then it does not like the tiger.
((("something" "eats" "mouse" "+")) -> ("something" "likes" "tiger" "-"))
If the tiger visits the mouse then the tiger is big.
((("tiger" "visits" "mouse" "+")) -> ("tiger" "is" "big" "+"))
The tiger is big.
True
1
proof
[(triple8)]
("tiger" "is" "big" "+")
triple8
The mouse does not like the tiger.
False
1
inv-proof
[(triple3)]
("mouse" "likes" "tiger" "-")
triple3
The tiger does not like the rabbit.
Unknown
inv-rconc
[@1: The tiger likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "likes" "rabbit" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
@0: The mouse eats the tiger.[(triple1)] The mouse is round.[(triple2)] The mouse likes the tiger.[(triple3)] The mouse visits the tiger.[(triple4)] The rabbit does not like the tiger.[(triple5)] The rabbit visits the tiger.[(triple6)] The tiger does not eat the mouse.[(triple7)] The tiger does not like the mouse.[(triple10)] The tiger is big.[(triple8)] The tiger is blue.[(triple9)] @1: The tiger does not eat the tiger.[(((triple8) -> rule2))]
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple1
The mouse is round.
("mouse" "is" "round" "+")
triple2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple4
The rabbit does not like the tiger.
("rabbit" "likes" "tiger" "-")
triple5
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple6
The tiger does not eat the mouse.
("tiger" "eats" "mouse" "-")
triple7
The tiger does not like the mouse.
("tiger" "likes" "mouse" "-")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger does not eat the tiger.
("tiger" "eats" "tiger" "-")
((triple8) -> (rule2 % int1))
The tiger does not eat the tiger.
("tiger" "eats" "tiger" "-")
int1