The bald eagle is red. The bald eagle visits the dog. The dog is red. If something is round and it visits the dog then the dog visits the bald eagle. If the dog chases the bald eagle then the dog likes the bald eagle. If something likes the bald eagle then the bald eagle is kind.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The dog is red.
("dog" "is" "red" "+")
If something is round and it visits the dog then the dog visits the bald eagle.
((("something" "is" "round" "+") ("something" "visits" "dog" "+")) -> ("dog" "visits" "bald eagle" "+"))
If the dog chases the bald eagle then the dog likes the bald eagle.
((("dog" "chases" "bald eagle" "+")) -> ("dog" "likes" "bald eagle" "+"))
If something likes the bald eagle then the bald eagle is kind.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
The dog is red.
True
1
proof
[(triple3)]
("dog" "is" "red" "+")
triple3
The bald eagle does not visit the dog.
False
1
inv-proof
[(triple2)]
("bald eagle" "visits" "dog" "-")
triple2
The bald eagle is not kind.
Unknown
inv-rconc
[@2: The bald eagle is kind.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle visits the dog.[(triple2)] The dog is red.[(triple3)]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3