The bald eagle is rough. The bear visits the bald eagle. The dog visits the tiger. The tiger is kind. If someone visits the bald eagle and they are blue then the bald eagle sees the dog. If someone eats the bear then the bear does not see the bald eagle. If someone is rough and they eat the dog then they see the dog. If someone is red and cold then they do not visit the tiger. If the tiger is blue and the tiger does not see the bear then the tiger visits the bald eagle. If someone is blue then they visit the bear. If someone visits the bear then the bear is not kind. If the bear visits the dog then the bear eats the bald eagle.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
If someone visits the bald eagle and they are blue then the bald eagle sees the dog.
((("someone" "visits" "bald eagle" "+") ("someone" "is" "blue" "+")) -> ("bald eagle" "sees" "dog" "+"))
If someone eats the bear then the bear does not see the bald eagle.
((("someone" "eats" "bear" "+")) -> ("bear" "sees" "bald eagle" "-"))
If someone is rough and they eat the dog then they see the dog.
((("someone" "is" "rough" "+") ("someone" "eats" "dog" "+")) -> ("someone" "sees" "dog" "+"))
If someone is red and cold then they do not visit the tiger.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "visits" "tiger" "-"))
If the tiger is blue and the tiger does not see the bear then the tiger visits the bald eagle.
((("tiger" "is" "blue" "+") ("tiger" "sees" "bear" "~")) -> ("tiger" "visits" "bald eagle" "+"))
If someone is blue then they visit the bear.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "bear" "+"))
If someone visits the bear then the bear is not kind.
((("someone" "visits" "bear" "+")) -> ("bear" "is" "kind" "-"))
If the bear visits the dog then the bear eats the bald eagle.
((("bear" "visits" "dog" "+")) -> ("bear" "eats" "bald eagle" "+"))
The bald eagle is rough.
True
1
proof
[(triple1)]
("bald eagle" "is" "rough" "+")
triple1
The dog does not visit the tiger.
False
1
inv-proof
[(triple3)]
("dog" "visits" "tiger" "-")
triple3
The bear does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bear eats the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "eats" "bald eagle" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The bald eagle is rough.[(triple1)] The bear visits the bald eagle.[(triple2)] The dog visits the tiger.[(triple3)] The tiger is kind.[(triple4)]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple2
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple3
The tiger is kind.
("tiger" "is" "kind" "+")
triple4