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