The bald eagle chases the lion. The bald eagle is big. The bald eagle is nice. The cow eats the bald eagle. The cow is blue. The cow is nice. The lion chases the bald eagle. The lion is big. The lion is nice. The lion likes the bald eagle. If someone likes the lion and the lion chases the bald eagle then the bald eagle chases the lion. If the bald eagle is nice and the bald eagle chases the lion then the bald eagle likes the lion.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is nice.
("cow" "is" "nice" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
If someone likes the lion and the lion chases the bald eagle then the bald eagle chases the lion.
((("someone" "likes" "lion" "+") ("lion" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "lion" "+"))
If the bald eagle is nice and the bald eagle chases the lion then the bald eagle likes the lion.
((("bald eagle" "is" "nice" "+") ("bald eagle" "chases" "lion" "+")) -> ("bald eagle" "likes" "lion" "+"))
The cow is nice.
True
1
proof
[(triple6)]
("cow" "is" "nice" "+")
triple6
The cow does not eat the bald eagle.
False
1
inv-proof
[(triple4)]
("cow" "eats" "bald eagle" "-")
triple4
The bald eagle likes the lion.
True
3
proof
[(((triple3 triple1) -> rule2))]
("bald eagle" "likes" "lion" "+")
((triple3 triple1) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle does not like the lion.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("bald eagle" "likes" "lion" "-")
((triple3 triple1) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The cow does not like the lion.
Unknown
inv-random
[@0: The cow likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "lion" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
The bald eagle does not like the cow.
Unknown
inv-random
[@0: The bald eagle likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cow" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is nice.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow is blue.[(triple5)] The cow is nice.[(triple6)] The lion chases the bald eagle.[(triple7)] The lion is big.[(triple8)] The lion is nice.[(triple9)] The lion likes the bald eagle.[(triple10)] @1: The bald eagle likes the lion.[(((triple3 triple1) -> rule2))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple4
The cow is blue.
("cow" "is" "blue" "+")
triple5
The cow is nice.
("cow" "is" "nice" "+")
triple6
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple7
The lion is big.
("lion" "is" "big" "+")
triple8
The lion is nice.
("lion" "is" "nice" "+")
triple9
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple10
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
((triple3 triple1) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1