The bald eagle needs the bear. The bear is red. The lion is young. The tiger eats the bald eagle. If someone is young then they eat the tiger. If someone needs the tiger then the tiger does not need the lion. If someone likes the tiger and the tiger does not eat the bald eagle then the tiger does not like the bear.
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear is red.
("bear" "is" "red" "+")
The lion is young.
("lion" "is" "young" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
If someone is young then they eat the tiger.
((("someone" "is" "young" "+")) -> ("someone" "eats" "tiger" "+"))
If someone needs the tiger then the tiger does not need the lion.
((("someone" "needs" "tiger" "+")) -> ("tiger" "needs" "lion" "-"))
If someone likes the tiger and the tiger does not eat the bald eagle then the tiger does not like the bear.
((("someone" "likes" "tiger" "+") ("tiger" "eats" "bald eagle" "~")) -> ("tiger" "likes" "bear" "-"))
The lion is young.
True
1
proof
[(triple3)]
("lion" "is" "young" "+")
triple3
The lion is not young.
False
1
inv-proof
[(triple3)]
("lion" "is" "young" "-")
triple3
The lion eats the tiger.
True
2
proof
[(((triple3) -> rule1))]
("lion" "eats" "tiger" "+")
((triple3) -> (rule1 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The lion does not eat the tiger.
False
2
inv-proof
[(((triple3) -> rule1))]
("lion" "eats" "tiger" "-")
((triple3) -> (rule1 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The tiger does not eat the tiger.
Unknown
inv-rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "tiger" "-")
The bald eagle eats the tiger.
Unknown
rconc
[@1: The bald eagle eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "tiger" "+")
The tiger is not round.
Unknown
inv-random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "-")
The bald eagle eats the bear.
Unknown
random
[@0: The bald eagle eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bear" "+")
@0: The bald eagle needs the bear.[(triple1)] The bear is red.[(triple2)] The lion is young.[(triple3)] The tiger eats the bald eagle.[(triple4)] @1: The lion eats the tiger.[(((triple3) -> rule1))]
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The lion is young.
("lion" "is" "young" "+")
triple3
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
((triple3) -> (rule1 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1