The bear eats the rabbit. The bear is green. The bear likes the mouse. The bear needs the cat. The bear needs the mouse. The cat eats the mouse. The cat does not eat the rabbit. The cat is green. The cat needs the mouse. The mouse is big. The mouse needs the cat. The rabbit eats the cat. The rabbit is big. The rabbit is round. The rabbit likes the bear. The rabbit likes the cat. If the rabbit likes the mouse and the mouse needs the cat then the cat does not eat the rabbit. If something eats the cat then the cat is not big. If something likes the mouse and it is not round then the mouse is not rough. If something is big then it eats the mouse. If the cat eats the mouse and the mouse is cold then the mouse likes the cat. If something needs the rabbit and it eats the mouse then it does not like the mouse.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is green.
("bear" "is" "green" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat does not eat the rabbit.
("cat" "eats" "rabbit" "-")
The cat is green.
("cat" "is" "green" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
If the rabbit likes the mouse and the mouse needs the cat then the cat does not eat the rabbit.
((("rabbit" "likes" "mouse" "+") ("mouse" "needs" "cat" "+")) -> ("cat" "eats" "rabbit" "-"))
If something eats the cat then the cat is not big.
((("something" "eats" "cat" "+")) -> ("cat" "is" "big" "-"))
If something likes the mouse and it is not round then the mouse is not rough.
((("something" "likes" "mouse" "+") ("something" "is" "round" "~")) -> ("mouse" "is" "rough" "-"))
If something is big then it eats the mouse.
((("something" "is" "big" "+")) -> ("something" "eats" "mouse" "+"))
If the cat eats the mouse and the mouse is cold then the mouse likes the cat.
((("cat" "eats" "mouse" "+") ("mouse" "is" "cold" "+")) -> ("mouse" "likes" "cat" "+"))
If something needs the rabbit and it eats the mouse then it does not like the mouse.
((("something" "needs" "rabbit" "+") ("something" "eats" "mouse" "+")) -> ("something" "likes" "mouse" "-"))
The cat eats the mouse.
True
1
proof
[(triple6)]
("cat" "eats" "mouse" "+")
triple6
The bear does not need the cat.
False
1
inv-proof
[(triple4)]
("bear" "needs" "cat" "-")
triple4
The bear does not eat the mouse.
Unknown
inv-rconc
[@1: The bear eats the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "eats" "mouse" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
@0: The bear eats the rabbit.[(triple1)] The bear is green.[(triple2)] The bear likes the mouse.[(triple3)] The bear needs the cat.[(triple4)] The bear needs the mouse.[(triple5)] The cat does not eat the rabbit.[(triple7)] The cat eats the mouse.[(triple6)] The cat is green.[(triple8)] The cat needs the mouse.[(triple9)] The mouse is big.[(triple10)] The mouse needs the cat.[(triple11)] The rabbit eats the cat.[(triple12)] The rabbit is big.[(triple13)] The rabbit is round.[(triple14)] The rabbit likes the bear.[(triple15)] The rabbit likes the cat.[(triple16)] @1: The cat is not big.[(((triple12) -> rule2))] The mouse eats the mouse.[(((triple10) -> rule4))] The rabbit eats the mouse.[(((triple13) -> rule4))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple3
The bear needs the cat.
("bear" "needs" "cat" "+")
triple4
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple5
The cat does not eat the rabbit.
("cat" "eats" "rabbit" "-")
triple7
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple6
The cat is green.
("cat" "is" "green" "+")
triple8
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple9
The mouse is big.
("mouse" "is" "big" "+")
triple10
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple11
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple12
The rabbit is big.
("rabbit" "is" "big" "+")
triple13
The rabbit is round.
("rabbit" "is" "round" "+")
triple14
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple15
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple16
The cat is not big.
("cat" "is" "big" "-")
((triple12) -> (rule2 % int1))
The cat is not big.
("cat" "is" "big" "-")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple10) -> (rule4 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
((triple13) -> (rule4 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1