The bald eagle chases the cat. The bald eagle chases the cow. The cat chases the cow. The cat chases the mouse. The cat is not kind. The cat sees the cow. The cow needs the bald eagle. The mouse chases the bald eagle. The mouse is cold. The mouse needs the cat. If the cow needs the bald eagle then the bald eagle is not young.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat is not kind.
("cat" "is" "kind" "-")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
If the cow needs the bald eagle then the bald eagle is not young.
((("cow" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "young" "-"))
The cat chases the mouse.
True
1
proof
[(triple4)]
("cat" "chases" "mouse" "+")
triple4
The mouse is not cold.
False
1
inv-proof
[(triple9)]
("mouse" "is" "cold" "-")
triple9
The bald eagle is not young.
True
2
proof
[(((triple7) -> rule1))]
("bald eagle" "is" "young" "-")
((triple7) -> (rule1 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The bald eagle is young.
False
2
inv-proof
[(((triple7) -> rule1))]
("bald eagle" "is" "young" "+")
((triple7) -> (rule1 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The cow does not see the mouse.
Unknown
inv-random
[@0: The cow sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "mouse" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the cow.[(triple2)] The cat chases the cow.[(triple3)] The cat chases the mouse.[(triple4)] The cat is not kind.[(triple5)] The cat sees the cow.[(triple6)] The cow needs the bald eagle.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse is cold.[(triple9)] The mouse needs the cat.[(triple10)] @1: The bald eagle is not young.[(((triple7) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple2
The cat chases the cow.
("cat" "chases" "cow" "+")
triple3
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple4
The cat is not kind.
("cat" "is" "kind" "-")
triple5
The cat sees the cow.
("cat" "sees" "cow" "+")
triple6
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple7
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple8
The mouse is cold.
("mouse" "is" "cold" "+")
triple9
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple10
The bald eagle is not young.
("bald eagle" "is" "young" "-")
((triple7) -> (rule1 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1