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