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