The bald eagle chases the rabbit. The bald eagle likes the rabbit. The dog chases the bald eagle. The dog eats the bald eagle. The dog likes the bald eagle. The dog likes the rabbit. The mouse eats the dog. The mouse is blue. The mouse likes the dog. The rabbit chases the dog. The rabbit eats the bald eagle. The rabbit eats the dog. If something chases the rabbit then the rabbit is blue. If something is round then it is green.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
If something chases the rabbit then the rabbit is blue.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "is" "blue" "+"))
If something is round then it is green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
The dog likes the bald eagle.
True
1
proof
[(triple5)]
("dog" "likes" "bald eagle" "+")
triple5
The mouse does not eat the dog.
False
1
inv-proof
[(triple7)]
("mouse" "eats" "dog" "-")
triple7
The rabbit is blue.
True
2
proof
[(((triple1) -> rule1))]
("rabbit" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is not blue.
False
2
inv-proof
[(((triple1) -> rule1))]
("rabbit" "is" "blue" "-")
((triple1) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The mouse is not green.
Unknown
inv-rconc
[@1: The mouse is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "green" "-")
The rabbit is green.
Unknown
rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "green" "+")
The mouse does not like the rabbit.
Unknown
inv-random
[@0: The mouse likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "rabbit" "-")
The bald eagle eats the dog.
Unknown
random
[@0: The bald eagle eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "dog" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The dog chases the bald eagle.[(triple3)] The dog eats the bald eagle.[(triple4)] The dog likes the bald eagle.[(triple5)] The dog likes the rabbit.[(triple6)] The mouse eats the dog.[(triple7)] The mouse is blue.[(triple8)] The mouse likes the dog.[(triple9)] The rabbit chases the dog.[(triple10)] The rabbit eats the bald eagle.[(triple11)] The rabbit eats the dog.[(triple12)] @1: The rabbit is blue.[(((triple1) -> rule1))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple3
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple4
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple5
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple6
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple9
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple10
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple11
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple12
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1