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