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