The bald eagle is not cold. The bear sees the cow. The cow eats the bear. The tiger is red. If something sees the tiger then it eats the tiger. If something is red then it sees the tiger. If something eats the cow and it sees the cow then the cow sees the bald eagle.
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The tiger is red.
("tiger" "is" "red" "+")
If something sees the tiger then it eats the tiger.
((("something" "sees" "tiger" "+")) -> ("something" "eats" "tiger" "+"))
If something is red then it sees the tiger.
((("something" "is" "red" "+")) -> ("something" "sees" "tiger" "+"))
If something eats the cow and it sees the cow then the cow sees the bald eagle.
((("something" "eats" "cow" "+") ("something" "sees" "cow" "+")) -> ("cow" "sees" "bald eagle" "+"))
The bear sees the cow.
True
1
proof
[(triple2)]
("bear" "sees" "cow" "+")
triple2
The cow does not eat the bear.
False
1
inv-proof
[(triple3)]
("cow" "eats" "bear" "-")
triple3
The tiger sees the tiger.
True
2
proof
[(((triple4) -> rule2))]
("tiger" "sees" "tiger" "+")
((triple4) -> (rule2 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger does not see the tiger.
False
2
inv-proof
[(((triple4) -> rule2))]
("tiger" "sees" "tiger" "-")
((triple4) -> (rule2 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The cow does not see the tiger.
Unknown
inv-rconc
[@1: The cow sees the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "sees" "tiger" "-")
The cow eats the tiger.
Unknown
rconc
[@2: The cow eats the tiger.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("cow" "eats" "tiger" "+")
The cow is not red.
Unknown
inv-random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "-")
The bald eagle eats the cow.
Unknown
random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "+")
@0: The bald eagle is not cold.[(triple1)] The bear sees the cow.[(triple2)] The cow eats the bear.[(triple3)] The tiger is red.[(triple4)] @1: The tiger sees the tiger.[(((triple4) -> rule2))] @2: The tiger eats the tiger.[(((((triple4) -> rule2)) -> rule1))]
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple1
The bear sees the cow.
("bear" "sees" "cow" "+")
triple2
The cow eats the bear.
("cow" "eats" "bear" "+")
triple3
The tiger is red.
("tiger" "is" "red" "+")
triple4
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
((triple4) -> (rule2 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int2