The bald eagle chases the lion. The cow chases the bald eagle. The dog likes the cow. The lion likes the dog. If someone chases the bald eagle and the bald eagle chases the lion then the lion likes the dog. If the cow visits the bald eagle and the cow does not chase the lion then the lion likes the dog. If the bald eagle chases the dog then the bald eagle visits the lion. Round people are not kind. If someone is round and not big then they are kind. If someone chases the lion then they chase the cow. If someone chases the cow then they are not nice. If someone visits the cow then the cow visits the bald eagle.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
If someone chases the bald eagle and the bald eagle chases the lion then the lion likes the dog.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "chases" "lion" "+")) -> ("lion" "likes" "dog" "+"))
If the cow visits the bald eagle and the cow does not chase the lion then the lion likes the dog.
((("cow" "visits" "bald eagle" "+") ("cow" "chases" "lion" "~")) -> ("lion" "likes" "dog" "+"))
If the bald eagle chases the dog then the bald eagle visits the lion.
((("bald eagle" "chases" "dog" "+")) -> ("bald eagle" "visits" "lion" "+"))
Round people are not kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "-"))
If someone is round and not big then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "kind" "+"))
If someone chases the lion then they chase the cow.
((("someone" "chases" "lion" "+")) -> ("someone" "chases" "cow" "+"))
If someone chases the cow then they are not nice.
((("someone" "chases" "cow" "+")) -> ("someone" "is" "nice" "-"))
If someone visits the cow then the cow visits the bald eagle.
((("someone" "visits" "cow" "+")) -> ("cow" "visits" "bald eagle" "+"))
The bald eagle chases the lion.
True
1
proof
[(triple1)]
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle does not chase the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "lion" "-")
triple1
The bald eagle chases the cow.
True
2
proof
[(((triple1) -> rule6))]
("bald eagle" "chases" "cow" "+")
((triple1) -> (rule6 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle does not chase the cow.
False
2
inv-proof
[(((triple1) -> rule6))]
("bald eagle" "chases" "cow" "-")
((triple1) -> (rule6 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle is not nice.
True
3
proof
[(((((triple1) -> rule6)) -> rule7))]
("bald eagle" "is" "nice" "-")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int2
The bald eagle is nice.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule7))]
("bald eagle" "is" "nice" "+")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int2
The dog does not chase the cow.
Unknown
inv-rconc
[@1: The dog chases the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "chases" "cow" "-")
The cow is kind.
Unknown
rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "kind" "+")
The bald eagle does not visit the lion.
Unknown
inv-rconc
[@1: The bald eagle visits the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "visits" "lion" "-")
The cow chases the lion.
Unknown
random
[@0: The cow chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "lion" "+")
The bald eagle does not visit the dog.
Unknown
inv-random
[@0: The bald eagle visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "dog" "-")
The lion chases the dog.
Unknown
random
[@0: The lion chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "dog" "+")
@0: The bald eagle chases the lion.[(triple1)] The cow chases the bald eagle.[(triple2)] The dog likes the cow.[(triple3)] The lion likes the dog.[(triple4 OR ((triple2 triple1) -> rule1))] @1: The bald eagle chases the cow.[(((triple1) -> rule6))] @2: The bald eagle is not nice.[(((((triple1) -> rule6)) -> rule7))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple2
The dog likes the cow.
("dog" "likes" "cow" "+")
triple3
The lion likes the dog.
("lion" "likes" "dog" "+")
triple4
((triple2 triple1) -> (rule1 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
((triple1) -> (rule6 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int2