The bald eagle is cold. The cow eats the squirrel. The squirrel chases the cow. If someone chases the cow then the cow chases the squirrel.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
If someone chases the cow then the cow chases the squirrel.
((("someone" "chases" "cow" "+")) -> ("cow" "chases" "squirrel" "+"))
The squirrel chases the cow.
True
1
proof
[(triple3)]
("squirrel" "chases" "cow" "+")
triple3
The cow does not eat the squirrel.
False
1
inv-proof
[(triple2)]
("cow" "eats" "squirrel" "-")
triple2
The cow chases the squirrel.
True
2
proof
[(((triple3) -> rule1))]
("cow" "chases" "squirrel" "+")
((triple3) -> (rule1 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow does not chase the squirrel.
False
2
inv-proof
[(((triple3) -> rule1))]
("cow" "chases" "squirrel" "-")
((triple3) -> (rule1 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The bald eagle does not need the cow.
Unknown
inv-random
[@0: The bald eagle needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cow" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The squirrel eats the bald eagle.
Unknown
random
[@0: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bald eagle" "+")
@0: The bald eagle is cold.[(triple1)] The cow eats the squirrel.[(triple2)] The squirrel chases the cow.[(triple3)] @1: The cow chases the squirrel.[(((triple3) -> rule1))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
((triple3) -> (rule1 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1