The bald eagle is cold. The cat eats the dog. The dog needs the mouse. The mouse needs the cat. If someone eats the mouse and they chase the bald eagle then they do not chase the mouse. If someone needs the mouse and the mouse does not need the dog then they do not eat the bald eagle. If someone eats the cat then they do not chase the dog. If someone needs the cat and they eat the dog then the dog is not rough. If someone needs the dog then the dog eats the mouse. If someone needs the mouse then the mouse chases the dog.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
If someone eats the mouse and they chase the bald eagle then they do not chase the mouse.
((("someone" "eats" "mouse" "+") ("someone" "chases" "bald eagle" "+")) -> ("someone" "chases" "mouse" "-"))
If someone needs the mouse and the mouse does not need the dog then they do not eat the bald eagle.
((("someone" "needs" "mouse" "+") ("mouse" "needs" "dog" "~")) -> ("someone" "eats" "bald eagle" "-"))
If someone eats the cat then they do not chase the dog.
((("someone" "eats" "cat" "+")) -> ("someone" "chases" "dog" "-"))
If someone needs the cat and they eat the dog then the dog is not rough.
((("someone" "needs" "cat" "+") ("someone" "eats" "dog" "+")) -> ("dog" "is" "rough" "-"))
If someone needs the dog then the dog eats the mouse.
((("someone" "needs" "dog" "+")) -> ("dog" "eats" "mouse" "+"))
If someone needs the mouse then the mouse chases the dog.
((("someone" "needs" "mouse" "+")) -> ("mouse" "chases" "dog" "+"))
The cat eats the dog.
True
1
proof
[(triple2)]
("cat" "eats" "dog" "+")
triple2
The dog does not need the mouse.
False
1
inv-proof
[(triple3)]
("dog" "needs" "mouse" "-")
triple3
The mouse chases the dog.
True
2
proof
[(((triple3) -> rule6))]
("mouse" "chases" "dog" "+")
((triple3) -> (rule6 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
The mouse does not chase the dog.
False
2
inv-proof
[(((triple3) -> rule6))]
("mouse" "chases" "dog" "-")
((triple3) -> (rule6 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
The dog does not eat the mouse.
Unknown
inv-rconc
[@1: The dog eats the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "eats" "mouse" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
The dog does not need the bald eagle.
Unknown
inv-random
[@0: The dog needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bald eagle" "-")
The mouse eats the bald eagle.
Unknown
random
[@0: The mouse eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bald eagle" "+")
@0: The bald eagle is cold.[(triple1)] The cat eats the dog.[(triple2)] The dog needs the mouse.[(triple3)] The mouse needs the cat.[(triple4)] @1: The mouse chases the dog.[(((triple3) -> rule6))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The cat eats the dog.
("cat" "eats" "dog" "+")
triple2
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple3
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple4
The mouse chases the dog.
("mouse" "chases" "dog" "+")
((triple3) -> (rule6 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1