The dog chases the rabbit. The dog eats the rabbit. The rabbit likes the dog. If something eats the dog and the dog is cold then the dog eats the rabbit.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
If something eats the dog and the dog is cold then the dog eats the rabbit.
((("something" "eats" "dog" "+") ("dog" "is" "cold" "+")) -> ("dog" "eats" "rabbit" "+"))
The dog chases the rabbit.
True
1
proof
[(triple1)]
("dog" "chases" "rabbit" "+")
triple1
The dog does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("dog" "chases" "rabbit" "-")
triple1
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The rabbit chases the dog.
Unknown
random
[@0: The rabbit chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "dog" "+")
@0: The dog chases the rabbit.[(triple1)] The dog eats the rabbit.[(triple2)] The rabbit likes the dog.[(triple3)]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple2
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple3