The bald eagle chases the cat. The bald eagle eats the cat. The bald eagle is big. The bald eagle is red. The bald eagle visits the cat. The cat eats the bald eagle. The cat is blue. If something eats the cat and it does not chase the bald eagle then the bald eagle is nice.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is blue.
("cat" "is" "blue" "+")
If something eats the cat and it does not chase the bald eagle then the bald eagle is nice.
((("something" "eats" "cat" "+") ("something" "chases" "bald eagle" "~")) -> ("bald eagle" "is" "nice" "+"))
The bald eagle chases the cat.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cat" "+")
triple1
The cat is not blue.
False
1
inv-proof
[(triple7)]
("cat" "is" "blue" "-")
triple7
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle visits the cat.[(triple5)] The cat eats the bald eagle.[(triple6)] The cat is blue.[(triple7)]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple5
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple6
The cat is blue.
("cat" "is" "blue" "+")
triple7