The bald eagle likes the dog. The bear is round. The dog visits the bear. If the dog is blue then the dog visits the bear. If the dog likes the bear and the bear visits the dog then the dog does not visit the bear. If the bear is nice then the bear does not visit the dog. All young things are nice. If something is rough then it likes the bald eagle. If something likes the dog and it does not like the bald eagle then the bald eagle is not nice.
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bear is round.
("bear" "is" "round" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
If the dog is blue then the dog visits the bear.
((("dog" "is" "blue" "+")) -> ("dog" "visits" "bear" "+"))
If the dog likes the bear and the bear visits the dog then the dog does not visit the bear.
((("dog" "likes" "bear" "+") ("bear" "visits" "dog" "+")) -> ("dog" "visits" "bear" "-"))
If the bear is nice then the bear does not visit the dog.
((("bear" "is" "nice" "+")) -> ("bear" "visits" "dog" "-"))
All young things are nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If something is rough then it likes the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "likes" "bald eagle" "+"))
If something likes the dog and it does not like the bald eagle then the bald eagle is not nice.
((("something" "likes" "dog" "+") ("something" "likes" "bald eagle" "~")) -> ("bald eagle" "is" "nice" "-"))
The bear is round.
True
1
proof
[(triple2)]
("bear" "is" "round" "+")
triple2
The dog does not visit the bear.
False
1
inv-proof
[(triple3)]
("dog" "visits" "bear" "-")
triple3
The bear does not like the bald eagle.
Unknown
inv-rconc
[@1: The bear likes the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "likes" "bald eagle" "-")
The bear visits the bald eagle.
Unknown
random
[@0: The bear visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bald eagle" "+")
@0: The bald eagle likes the dog.[(triple1)] The bear is round.[(triple2)] The dog visits the bear.[(triple3)]
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The dog visits the bear.
("dog" "visits" "bear" "+")
triple3