The bear likes the cat. The bear likes the mouse. The cat chases the cow. The cat eats the mouse. The cat is cold. The cat is young. The cat likes the mouse. The cow chases the bear. The cow eats the bear. The cow likes the bear. The mouse chases the cat. The mouse eats the bear. The mouse is cold. The mouse likes the cat. The mouse likes the cow. If something is young and it chases the bear then the bear eats the mouse.
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
If something is young and it chases the bear then the bear eats the mouse.
((("something" "is" "young" "+") ("something" "chases" "bear" "+")) -> ("bear" "eats" "mouse" "+"))
The cow eats the bear.
True
1
proof
[(triple9)]
("cow" "eats" "bear" "+")
triple9
The bear does not like the cat.
False
1
inv-proof
[(triple1)]
("bear" "likes" "cat" "-")
triple1
The bear does not eat the mouse.
Unknown
inv-rconc
[@1: The bear eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "eats" "mouse" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The bear likes the cat.[(triple1)] The bear likes the mouse.[(triple2)] The cat chases the cow.[(triple3)] The cat eats the mouse.[(triple4)] The cat is cold.[(triple5)] The cat is young.[(triple6)] The cat likes the mouse.[(triple7)] The cow chases the bear.[(triple8)] The cow eats the bear.[(triple9)] The cow likes the bear.[(triple10)] The mouse chases the cat.[(triple11)] The mouse eats the bear.[(triple12)] The mouse is cold.[(triple13)] The mouse likes the cat.[(triple14)] The mouse likes the cow.[(triple15)]
The bear likes the cat.
("bear" "likes" "cat" "+")
triple1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple2
The cat chases the cow.
("cat" "chases" "cow" "+")
triple3
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple4
The cat is cold.
("cat" "is" "cold" "+")
triple5
The cat is young.
("cat" "is" "young" "+")
triple6
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple7
The cow chases the bear.
("cow" "chases" "bear" "+")
triple8
The cow eats the bear.
("cow" "eats" "bear" "+")
triple9
The cow likes the bear.
("cow" "likes" "bear" "+")
triple10
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple11
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple12
The mouse is cold.
("mouse" "is" "cold" "+")
triple13
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple14
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple15