The bear is cold. The dog visits the rabbit. The rabbit eats the dog. If something is young and it visits the dog then it eats the dog. If something visits the dog then it eats the bear. If something eats the dog then the dog is kind.
The bear is cold.
("bear" "is" "cold" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
If something is young and it visits the dog then it eats the dog.
((("something" "is" "young" "+") ("something" "visits" "dog" "+")) -> ("something" "eats" "dog" "+"))
If something visits the dog then it eats the bear.
((("something" "visits" "dog" "+")) -> ("something" "eats" "bear" "+"))
If something eats the dog then the dog is kind.
((("something" "eats" "dog" "+")) -> ("dog" "is" "kind" "+"))
The dog visits the rabbit.
True
1
proof
[(triple2)]
("dog" "visits" "rabbit" "+")
triple2
The rabbit does not eat the dog.
False
1
inv-proof
[(triple3)]
("rabbit" "eats" "dog" "-")
triple3
The dog is kind.
True
2
proof
[(((triple3) -> rule3))]
("dog" "is" "kind" "+")
((triple3) -> (rule3 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not kind.
False
2
inv-proof
[(((triple3) -> rule3))]
("dog" "is" "kind" "-")
((triple3) -> (rule3 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "dog" "-")
The bear eats the bear.
Unknown
rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "eats" "bear" "+")
The bear does not visit the rabbit.
Unknown
inv-random
[@0: The bear visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "rabbit" "-")
The dog chases the rabbit.
Unknown
random
[@0: The dog chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "rabbit" "+")
@0: The bear is cold.[(triple1)] The dog visits the rabbit.[(triple2)] The rabbit eats the dog.[(triple3)] @1: The dog is kind.[(((triple3) -> rule3))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple2
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple3
The dog is kind.
("dog" "is" "kind" "+")
((triple3) -> (rule3 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1