The bald eagle is cold. The cat does not chase the bald eagle. The cow chases the mouse. The cow is not cold. The cow is young. The mouse chases the bald eagle. The mouse visits the bald eagle. If something needs the mouse then the mouse does not need the cat. If something needs the bald eagle then it is kind. If something needs the cow then the cow needs the mouse. If the bald eagle chases the cow then the bald eagle needs the mouse. If something is cold then it does not chase the cat. If something chases the mouse and it needs the bald eagle then it visits the mouse. If something visits the bald eagle and the bald eagle does not chase the cat then it visits the mouse. If something is red and it visits the mouse then the mouse is kind.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The cat does not chase the bald eagle.
("cat" "chases" "bald eagle" "-")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow is not cold.
("cow" "is" "cold" "-")
The cow is young.
("cow" "is" "young" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If something needs the mouse then the mouse does not need the cat.
((("something" "needs" "mouse" "+")) -> ("mouse" "needs" "cat" "-"))
If something needs the bald eagle then it is kind.
((("something" "needs" "bald eagle" "+")) -> ("something" "is" "kind" "+"))
If something needs the cow then the cow needs the mouse.
((("something" "needs" "cow" "+")) -> ("cow" "needs" "mouse" "+"))
If the bald eagle chases the cow then the bald eagle needs the mouse.
((("bald eagle" "chases" "cow" "+")) -> ("bald eagle" "needs" "mouse" "+"))
If something is cold then it does not chase the cat.
((("something" "is" "cold" "+")) -> ("something" "chases" "cat" "-"))
If something chases the mouse and it needs the bald eagle then it visits the mouse.
((("something" "chases" "mouse" "+") ("something" "needs" "bald eagle" "+")) -> ("something" "visits" "mouse" "+"))
If something visits the bald eagle and the bald eagle does not chase the cat then it visits the mouse.
((("something" "visits" "bald eagle" "+") ("bald eagle" "chases" "cat" "~")) -> ("something" "visits" "mouse" "+"))
If something is red and it visits the mouse then the mouse is kind.
((("something" "is" "red" "+") ("something" "visits" "mouse" "+")) -> ("mouse" "is" "kind" "+"))
The bald eagle is cold.
True
1
proof
[(triple1)]
("bald eagle" "is" "cold" "+")
triple1
The cow does not chase the mouse.
False
1
inv-proof
[(triple3)]
("cow" "chases" "mouse" "-")
triple3
The bald eagle does not chase the cat.
True
2
proof
[(((triple1) -> rule5))]
("bald eagle" "chases" "cat" "-")
((triple1) -> (rule5 % int1))
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
int1
The bald eagle chases the cat.
False
2
inv-proof
[(((triple1) -> rule5))]
("bald eagle" "chases" "cat" "+")
((triple1) -> (rule5 % int1))
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
int1
The mouse visits the mouse.
True
4
proof
[(((triple7 ((triple1) -> rule5)) -> rule7))]
("mouse" "visits" "mouse" "+")
((triple7 ((triple1) -> (rule5 % int2))) -> (rule7 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
int2
The mouse does not visit the mouse.
False
4
inv-proof
[(((triple7 ((triple1) -> rule5)) -> rule7))]
("mouse" "visits" "mouse" "-")
((triple7 ((triple1) -> (rule5 % int2))) -> (rule7 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
int2
The cow does not visit the mouse.
Unknown
inv-rconc
[@1: The cow visits the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "visits" "mouse" "-")
The cat is kind.
Unknown
rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "kind" "+")
The cat does not visit the mouse.
Unknown
inv-rconc
[@1: The cat visits the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "visits" "mouse" "-")
The bald eagle visits the cat.
Unknown
random
[@0: The bald eagle visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cat" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
@0: The bald eagle is cold.[(triple1)] The cat does not chase the bald eagle.[(triple2)] The cow chases the mouse.[(triple3)] The cow is not cold.[(triple4)] The cow is young.[(triple5)] The mouse chases the bald eagle.[(triple6)] The mouse visits the bald eagle.[(triple7)] @1: The bald eagle does not chase the cat.[(((triple1) -> rule5))] @2: The mouse visits the mouse.[(((triple7 ((triple1) -> rule5)) -> rule7))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The cat does not chase the bald eagle.
("cat" "chases" "bald eagle" "-")
triple2
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple3
The cow is not cold.
("cow" "is" "cold" "-")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple6
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple7
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
((triple1) -> (rule5 % int1))
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((triple7 ((triple1) -> (rule5 % int2))) -> (rule7 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
int2