The bald eagle is nice. The bald eagle likes the dog. The dog eats the bald eagle. If someone is cold then they eat the dog. If someone likes the dog and the dog eats the bald eagle then the bald eagle chases the dog. If someone eats the dog then the dog likes the bald eagle. If someone eats the dog and the dog chases the bald eagle then the dog likes the bald eagle. If someone eats the bald eagle and they eat the dog then the bald eagle likes the dog. If someone likes the dog then they do not chase the bald eagle. If someone chases the bald eagle then they are kind. If the bald eagle is nice then the bald eagle eats the dog.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
If someone is cold then they eat the dog.
((("someone" "is" "cold" "+")) -> ("someone" "eats" "dog" "+"))
If someone likes the dog and the dog eats the bald eagle then the bald eagle chases the dog.
((("someone" "likes" "dog" "+") ("dog" "eats" "bald eagle" "+")) -> ("bald eagle" "chases" "dog" "+"))
If someone eats the dog then the dog likes the bald eagle.
((("someone" "eats" "dog" "+")) -> ("dog" "likes" "bald eagle" "+"))
If someone eats the dog and the dog chases the bald eagle then the dog likes the bald eagle.
((("someone" "eats" "dog" "+") ("dog" "chases" "bald eagle" "+")) -> ("dog" "likes" "bald eagle" "+"))
If someone eats the bald eagle and they eat the dog then the bald eagle likes the dog.
((("someone" "eats" "bald eagle" "+") ("someone" "eats" "dog" "+")) -> ("bald eagle" "likes" "dog" "+"))
If someone likes the dog then they do not chase the bald eagle.
((("someone" "likes" "dog" "+")) -> ("someone" "chases" "bald eagle" "-"))
If someone chases the bald eagle then they are kind.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "kind" "+"))
If the bald eagle is nice then the bald eagle eats the dog.
((("bald eagle" "is" "nice" "+")) -> ("bald eagle" "eats" "dog" "+"))
The dog eats the bald eagle.
True
1
proof
[(triple3)]
("dog" "eats" "bald eagle" "+")
triple3
The bald eagle does not like the dog.
False
1
inv-proof
[(triple2)]
("bald eagle" "likes" "dog" "-")
triple2
The bald eagle eats the dog.
True
2
proof
[(((triple1) -> rule8))]
("bald eagle" "eats" "dog" "+")
((triple1) -> (rule8 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The bald eagle does not chase the dog.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("bald eagle" "chases" "dog" "-")
((triple2 triple3) -> (rule2 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The dog likes the bald eagle.
True
3
proof
[(((((triple1) -> rule8)) -> rule3))]
("dog" "likes" "bald eagle" "+")
((((triple1) -> (rule8 % int2))) -> (rule3 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The dog does not like the bald eagle.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule3))]
("dog" "likes" "bald eagle" "-")
((((triple1) -> (rule8 % int2))) -> (rule3 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The dog is not kind.
Unknown
inv-rconc
[@1: The dog is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "is" "kind" "-")
The bald eagle is kind.
Unknown
rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "kind" "+")
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 bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle likes the dog.[(triple2)] The dog eats the bald eagle.[(triple3)] @1: The bald eagle chases the dog.[(((triple2 triple3) -> rule2))] The bald eagle does not chase the bald eagle.[(((triple2) -> rule6))] The bald eagle eats the dog.[(((triple1) -> rule8))] @2: The dog likes the bald eagle.[(((((triple1) -> rule8)) -> rule3))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple3
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
((triple2 triple3) -> (rule2 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
((triple2) -> (rule6 % int1))
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
((triple1) -> (rule8 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
((((triple1) -> (rule8 % int2))) -> (rule3 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2