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