The bald eagle is cold. The cat visits the cow. The cow sees the bald eagle. The mouse sees the cow. If someone chases the cat then they are cold. If the bald eagle is cold then the bald eagle chases the cat.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
If someone chases the cat then they are cold.
((("someone" "chases" "cat" "+")) -> ("someone" "is" "cold" "+"))
If the bald eagle is cold then the bald eagle chases the cat.
((("bald eagle" "is" "cold" "+")) -> ("bald eagle" "chases" "cat" "+"))
The mouse sees the cow.
True
1
proof
[(triple4)]
("mouse" "sees" "cow" "+")
triple4
The mouse does not see the cow.
False
1
inv-proof
[(triple4)]
("mouse" "sees" "cow" "-")
triple4
The bald eagle chases the cat.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "chases" "cat" "+")
((triple1) -> (rule2 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle does not chase the cat.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "chases" "cat" "-")
((triple1) -> (rule2 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The cow is not cold.
Unknown
inv-rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "cold" "-")
The mouse is cold.
Unknown
rconc
[@1: The mouse is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "cold" "+")
The cow does not chase the cat.
Unknown
inv-random
[@0: The cow chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cat" "-")
The mouse is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
@0: The bald eagle is cold.[(triple1)] The cat visits the cow.[(triple2)] The cow sees the bald eagle.[(triple3)] The mouse sees the cow.[(triple4)] @1: The bald eagle chases the cat.[(((triple1) -> rule2))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The cat visits the cow.
("cat" "visits" "cow" "+")
triple2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple3
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple4
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
((triple1) -> (rule2 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1