The bald eagle is cold. The bald eagle does not need the tiger. The cow does not eat the tiger. The cow is green. The cow sees the tiger. The lion is not big. The lion needs the bald eagle. The tiger eats the cow. The tiger is big. The tiger is cold. If someone needs the bald eagle then they eat the tiger. If someone sees the bald eagle and the bald eagle does not see the cow then the cow does not need the tiger. If someone eats the tiger then the tiger sees the lion.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
The cow does not eat the tiger.
("cow" "eats" "tiger" "-")
The cow is green.
("cow" "is" "green" "+")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The lion is not big.
("lion" "is" "big" "-")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
If someone needs the bald eagle then they eat the tiger.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "eats" "tiger" "+"))
If someone sees the bald eagle and the bald eagle does not see the cow then the cow does not need the tiger.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "sees" "cow" "~")) -> ("cow" "needs" "tiger" "-"))
If someone eats the tiger then the tiger sees the lion.
((("someone" "eats" "tiger" "+")) -> ("tiger" "sees" "lion" "+"))
The cow is green.
True
1
proof
[(triple4)]
("cow" "is" "green" "+")
triple4
The tiger does not eat the cow.
False
1
inv-proof
[(triple8)]
("tiger" "eats" "cow" "-")
triple8
The lion eats the tiger.
True
2
proof
[(((triple7) -> rule1))]
("lion" "eats" "tiger" "+")
((triple7) -> (rule1 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The lion does not eat the tiger.
False
2
inv-proof
[(((triple7) -> rule1))]
("lion" "eats" "tiger" "-")
((triple7) -> (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 bald eagle does not eat the cow.
Unknown
inv-random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "-")
The tiger eats the lion.
Unknown
random
[@0: The tiger eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "lion" "+")
@0: The bald eagle does not need the tiger.[(triple2)] The bald eagle is cold.[(triple1)] The cow does not eat the tiger.[(triple3)] The cow is green.[(triple4)] The cow sees the tiger.[(triple5)] The lion is not big.[(triple6)] The lion needs the bald eagle.[(triple7)] The tiger eats the cow.[(triple8)] The tiger is big.[(triple9)] The tiger is cold.[(triple10)] @1: The lion eats the tiger.[(((triple7) -> rule1))] @2: The tiger sees the lion.[(((((triple7) -> rule1)) -> rule3))]
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The cow does not eat the tiger.
("cow" "eats" "tiger" "-")
triple3
The cow is green.
("cow" "is" "green" "+")
triple4
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple5
The lion is not big.
("lion" "is" "big" "-")
triple6
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple7
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple8
The tiger is big.
("tiger" "is" "big" "+")
triple9
The tiger is cold.
("tiger" "is" "cold" "+")
triple10
The lion eats the tiger.
("lion" "eats" "tiger" "+")
((triple7) -> (rule1 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The tiger sees the lion.
("tiger" "sees" "lion" "+")
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int2