The cat visits the cow. The cow does not like the rabbit. The rabbit eats the cat. If something visits the cow then it is young.
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
If something visits the cow then it is young.
((("something" "visits" "cow" "+")) -> ("something" "is" "young" "+"))
The cow does not like the rabbit.
True
1
proof
[(triple2)]
("cow" "likes" "rabbit" "-")
triple2
The rabbit does not eat the cat.
False
1
inv-proof
[(triple3)]
("rabbit" "eats" "cat" "-")
triple3
The cat is young.
True
2
proof
[(((triple1) -> rule1))]
("cat" "is" "young" "+")
((triple1) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is not young.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "is" "young" "-")
((triple1) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "young" "-")
The cow is young.
Unknown
rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "young" "+")
The rabbit does not like the cat.
Unknown
inv-random
[@0: The rabbit likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "cat" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The cat visits the cow.[(triple1)] The cow does not like the rabbit.[(triple2)] The rabbit eats the cat.[(triple3)] @1: The cat is young.[(((triple1) -> rule1))]
The cat visits the cow.
("cat" "visits" "cow" "+")
triple1
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
triple2
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
((triple1) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1