The bald eagle eats the cat. The cat is not round. The dog needs the bald eagle. The mouse does not see the dog. If something eats the cat then it does not see the dog.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The cat is not round.
("cat" "is" "round" "-")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The mouse does not see the dog.
("mouse" "sees" "dog" "-")
If something eats the cat then it does not see the dog.
((("something" "eats" "cat" "+")) -> ("something" "sees" "dog" "-"))
The mouse does not see the dog.
True
1
proof
[(triple4)]
("mouse" "sees" "dog" "-")
triple4
The bald eagle does not eat the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "cat" "-")
triple1
The mouse is not nice.
Unknown
inv-random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
@0: The bald eagle eats the cat.[(triple1)] The cat is not round.[(triple2)] The dog needs the bald eagle.[(triple3)] The mouse does not see the dog.[(triple4)] @1: The bald eagle does not see the dog.[(((triple1) -> rule1))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The cat is not round.
("cat" "is" "round" "-")
triple2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple3
The mouse does not see the dog.
("mouse" "sees" "dog" "-")
triple4
The bald eagle does not see the dog.
("bald eagle" "sees" "dog" "-")
((triple1) -> (rule1 % int1))
The bald eagle does not see the dog.
("bald eagle" "sees" "dog" "-")
int1