The bear is young. The dog likes the rabbit. The mouse is young. The rabbit eats the dog. If someone is cold and they do not visit the mouse then the mouse does not like the bear. If the bear does not eat the mouse and the mouse does not eat the dog then the dog visits the bear. If the rabbit is round and the rabbit likes the bear then the bear eats the dog. If someone eats the mouse then they are not cold. If someone likes the rabbit then they are not cold. If someone visits the mouse then they do not visit the bear. If the dog eats the rabbit and the dog does not visit the bear then the rabbit eats the bear. If someone likes the dog and the dog visits the rabbit then the rabbit eats the bear.
The bear is young.
("bear" "is" "young" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The mouse is young.
("mouse" "is" "young" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
If someone is cold and they do not visit the mouse then the mouse does not like the bear.
((("someone" "is" "cold" "+") ("someone" "visits" "mouse" "~")) -> ("mouse" "likes" "bear" "-"))
If the bear does not eat the mouse and the mouse does not eat the dog then the dog visits the bear.
((("bear" "eats" "mouse" "~") ("mouse" "eats" "dog" "~")) -> ("dog" "visits" "bear" "+"))
If the rabbit is round and the rabbit likes the bear then the bear eats the dog.
((("rabbit" "is" "round" "+") ("rabbit" "likes" "bear" "+")) -> ("bear" "eats" "dog" "+"))
If someone eats the mouse then they are not cold.
((("someone" "eats" "mouse" "+")) -> ("someone" "is" "cold" "-"))
If someone likes the rabbit then they are not cold.
((("someone" "likes" "rabbit" "+")) -> ("someone" "is" "cold" "-"))
If someone visits the mouse then they do not visit the bear.
((("someone" "visits" "mouse" "+")) -> ("someone" "visits" "bear" "-"))
If the dog eats the rabbit and the dog does not visit the bear then the rabbit eats the bear.
((("dog" "eats" "rabbit" "+") ("dog" "visits" "bear" "~")) -> ("rabbit" "eats" "bear" "+"))
If someone likes the dog and the dog visits the rabbit then the rabbit eats the bear.
((("someone" "likes" "dog" "+") ("dog" "visits" "rabbit" "+")) -> ("rabbit" "eats" "bear" "+"))
The mouse is young.
True
1
proof
[(triple3)]
("mouse" "is" "young" "+")
triple3
The dog does not like the rabbit.
False
1
inv-proof
[(triple2)]
("dog" "likes" "rabbit" "-")
triple2
The dog is not cold.
True
2
proof
[(((triple2) -> rule5))]
("dog" "is" "cold" "-")
((triple2) -> (rule5 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1
The dog is cold.
False
2
inv-proof
[(((triple2) -> rule5))]
("dog" "is" "cold" "+")
((triple2) -> (rule5 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1
The dog does not visit the bear.
Unknown
inv-rconc
[@1: The dog visits the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "visits" "bear" "-")
The bear eats the dog.
Unknown
rconc
[@1: The bear eats the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "eats" "dog" "+")
The bear does not visit the dog.
Unknown
inv-random
[@0: The bear visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "dog" "-")
The mouse eats the bear.
Unknown
random
[@0: The mouse eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bear" "+")
@0: The bear is young.[(triple1)] The dog likes the rabbit.[(triple2)] The mouse is young.[(triple3)] The rabbit eats the dog.[(triple4)] @1: The dog is not cold.[(((triple2) -> rule5))]
The bear is young.
("bear" "is" "young" "+")
triple1
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple2
The mouse is young.
("mouse" "is" "young" "+")
triple3
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple4
The dog is not cold.
("dog" "is" "cold" "-")
((triple2) -> (rule5 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1