The bald eagle is nice. The cat likes the bald eagle. If the cat likes the bald eagle and the cat is blue then the cat is cold. If someone is round and rough then they chase the cat. If someone chases the bald eagle then the bald eagle is blue.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
If the cat likes the bald eagle and the cat is blue then the cat is cold.
((("cat" "likes" "bald eagle" "+") ("cat" "is" "blue" "+")) -> ("cat" "is" "cold" "+"))
If someone is round and rough then they chase the cat.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "chases" "cat" "+"))
If someone chases the bald eagle then the bald eagle is blue.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
The cat likes the bald eagle.
True
1
proof
[(triple2)]
("cat" "likes" "bald eagle" "+")
triple2
The bald eagle is not nice.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "nice" "-")
triple1
The bald eagle is not blue.
Unknown
inv-rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle is nice.[(triple1)] The cat likes the bald eagle.[(triple2)]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple2