The bald eagle does not chase the mouse. The bald eagle does not need the dog. The bald eagle visits the mouse. The cow is big. The cow is red. The cow needs the bald eagle. The cow needs the mouse. The cow does not visit the mouse. The dog is red. The dog is young. The dog visits the mouse. The mouse chases the cow. The mouse is nice. The mouse does not need the bald eagle. The mouse needs the cow. The mouse visits the dog. If something is young then it chases the mouse. If something chases the dog and the dog is big then the dog is not young. If the mouse does not visit the cow then the cow chases the mouse.
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is red.
("cow" "is" "red" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow does not visit the mouse.
("cow" "visits" "mouse" "-")
The dog is red.
("dog" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If something is young then it chases the mouse.
((("something" "is" "young" "+")) -> ("something" "chases" "mouse" "+"))
If something chases the dog and the dog is big then the dog is not young.
((("something" "chases" "dog" "+") ("dog" "is" "big" "+")) -> ("dog" "is" "young" "-"))
If the mouse does not visit the cow then the cow chases the mouse.
((("mouse" "visits" "cow" "~")) -> ("cow" "chases" "mouse" "+"))
The mouse chases the cow.
True
1
proof
[(triple12)]
("mouse" "chases" "cow" "+")
triple12
The cow does not need the bald eagle.
False
1
inv-proof
[(triple6)]
("cow" "needs" "bald eagle" "-")
triple6
The dog chases the mouse.
True
2
proof
[(((triple10) -> rule1))]
("dog" "chases" "mouse" "+")
((triple10) -> (rule1 % int1))
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int1
The dog does not chase the mouse.
False
2
inv-proof
[(((triple10) -> rule1))]
("dog" "chases" "mouse" "-")
((triple10) -> (rule1 % int1))
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int1
The cow does not chase the mouse.
Unknown
inv-rconc
[@1: The cow chases the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "mouse" "-")
The mouse chases the mouse.
Unknown
rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "chases" "mouse" "+")
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The bald eagle does not chase the mouse.[(triple1)] The bald eagle does not need the dog.[(triple2)] The bald eagle visits the mouse.[(triple3)] The cow does not visit the mouse.[(triple8)] The cow is big.[(triple4)] The cow is red.[(triple5)] The cow needs the bald eagle.[(triple6)] The cow needs the mouse.[(triple7)] The dog is red.[(triple9)] The dog is young.[(triple10)] The dog visits the mouse.[(triple11)] The mouse chases the cow.[(triple12)] The mouse does not need the bald eagle.[(triple14)] The mouse is nice.[(triple13)] The mouse needs the cow.[(triple15)] The mouse visits the dog.[(triple16)] @1: The dog chases the mouse.[(((triple10) -> rule1))]
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
triple1
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
triple2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple3
The cow does not visit the mouse.
("cow" "visits" "mouse" "-")
triple8
The cow is big.
("cow" "is" "big" "+")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple6
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple7
The dog is red.
("dog" "is" "red" "+")
triple9
The dog is young.
("dog" "is" "young" "+")
triple10
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple11
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple12
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
triple14
The mouse is nice.
("mouse" "is" "nice" "+")
triple13
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple15
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple16
The dog chases the mouse.
("dog" "chases" "mouse" "+")
((triple10) -> (rule1 % int1))
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int1