The bald eagle eats the dog. The bald eagle eats the mouse. The bald eagle does not need the mouse. The bald eagle visits the dog. The bald eagle visits the mouse. The cow is blue. The cow needs the bald eagle. The cow visits the dog. The dog does not eat the cow. The dog is red. The dog needs the mouse. The mouse eats the bald eagle. The mouse is round. The mouse does not need the bald eagle. The mouse visits the bald eagle. The mouse does not visit the dog. If someone needs the dog then they need the mouse. If someone needs the mouse then the mouse eats the bald eagle. If someone eats the dog then the dog eats the bald eagle.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog does not eat the cow.
("dog" "eats" "cow" "-")
The dog is red.
("dog" "is" "red" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse does not visit the dog.
("mouse" "visits" "dog" "-")
If someone needs the dog then they need the mouse.
((("someone" "needs" "dog" "+")) -> ("someone" "needs" "mouse" "+"))
If someone needs the mouse then the mouse eats the bald eagle.
((("someone" "needs" "mouse" "+")) -> ("mouse" "eats" "bald eagle" "+"))
If someone eats the dog then the dog eats the bald eagle.
((("someone" "eats" "dog" "+")) -> ("dog" "eats" "bald eagle" "+"))
The dog needs the mouse.
True
1
proof
[(triple11)]
("dog" "needs" "mouse" "+")
triple11
The dog eats the cow.
False
1
inv-proof
[(triple9)]
("dog" "eats" "cow" "+")
triple9
The dog eats the bald eagle.
True
2
proof
[(((triple1) -> rule3))]
("dog" "eats" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog does not eat the bald eagle.
False
2
inv-proof
[(((triple1) -> rule3))]
("dog" "eats" "bald eagle" "-")
((triple1) -> (rule3 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The cow does not need the mouse.
Unknown
inv-rconc
[@1: The cow needs the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "needs" "mouse" "-")
The mouse needs the mouse.
Unknown
rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "needs" "mouse" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The cow eats the dog.
Unknown
random
[@0: The cow eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "dog" "+")
@0: The bald eagle does not need the mouse.[(triple3)] The bald eagle eats the dog.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle visits the dog.[(triple4)] The bald eagle visits the mouse.[(triple5)] The cow is blue.[(triple6)] The cow needs the bald eagle.[(triple7)] The cow visits the dog.[(triple8)] The dog does not eat the cow.[(triple9)] The dog is red.[(triple10)] The dog needs the mouse.[(triple11)] The mouse does not need the bald eagle.[(triple14)] The mouse does not visit the dog.[(triple16)] The mouse eats the bald eagle.[(triple12 OR ((triple11) -> rule2))] The mouse is round.[(triple13)] The mouse visits the bald eagle.[(triple15)] @1: The dog eats the bald eagle.[(((triple1) -> rule3))]
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
triple3
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple4
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple5
The cow is blue.
("cow" "is" "blue" "+")
triple6
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple7
The cow visits the dog.
("cow" "visits" "dog" "+")
triple8
The dog does not eat the cow.
("dog" "eats" "cow" "-")
triple9
The dog is red.
("dog" "is" "red" "+")
triple10
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple11
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
triple14
The mouse does not visit the dog.
("mouse" "visits" "dog" "-")
triple16
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple12
((triple11) -> (rule2 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
triple13
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple15
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1