The bald eagle is young. The cat does not eat the dog. The cat is red. The cat needs the dog. The cat sees the cow. The cow eats the cat. The dog needs the bald eagle. If something eats the dog then the dog needs the cat. If something sees the cow then the cow sees the dog. If the bald eagle is not kind and the bald eagle does not eat the cat then the cat needs the cow.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cat does not eat the dog.
("cat" "eats" "dog" "-")
The cat is red.
("cat" "is" "red" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
If something eats the dog then the dog needs the cat.
((("something" "eats" "dog" "+")) -> ("dog" "needs" "cat" "+"))
If something sees the cow then the cow sees the dog.
((("something" "sees" "cow" "+")) -> ("cow" "sees" "dog" "+"))
If the bald eagle is not kind and the bald eagle does not eat the cat then the cat needs the cow.
((("bald eagle" "is" "kind" "~") ("bald eagle" "eats" "cat" "~")) -> ("cat" "needs" "cow" "+"))
The cat does not eat the dog.
True
1
proof
[(triple2)]
("cat" "eats" "dog" "-")
triple2
The cat is not red.
False
1
inv-proof
[(triple3)]
("cat" "is" "red" "-")
triple3
The cow sees the dog.
True
2
proof
[(((triple5) -> rule2))]
("cow" "sees" "dog" "+")
((triple5) -> (rule2 % int1))
The cow sees the dog.
("cow" "sees" "dog" "+")
int1
The cow does not see the dog.
False
2
inv-proof
[(((triple5) -> rule2))]
("cow" "sees" "dog" "-")
((triple5) -> (rule2 % int1))
The cow sees the dog.
("cow" "sees" "dog" "+")
int1
The dog does not need the cat.
Unknown
inv-rconc
[@1: The dog needs the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "cat" "-")
The cat needs the cow.
Unknown
rconc
[@1: The cat needs the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "needs" "cow" "+")
The bald eagle does not eat the dog.
Unknown
inv-random
[@0: The bald eagle eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "dog" "-")
The cat eats the bald eagle.
Unknown
random
[@0: The cat eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bald eagle" "+")
@0: The bald eagle is young.[(triple1)] The cat does not eat the dog.[(triple2)] The cat is red.[(triple3)] The cat needs the dog.[(triple4)] The cat sees the cow.[(triple5)] The cow eats the cat.[(triple6)] The dog needs the bald eagle.[(triple7)] @1: The cow sees the dog.[(((triple5) -> rule2))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The cat does not eat the dog.
("cat" "eats" "dog" "-")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat needs the dog.
("cat" "needs" "dog" "+")
triple4
The cat sees the cow.
("cat" "sees" "cow" "+")
triple5
The cow eats the cat.
("cow" "eats" "cat" "+")
triple6
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple7
The cow sees the dog.
("cow" "sees" "dog" "+")
((triple5) -> (rule2 % int1))
The cow sees the dog.
("cow" "sees" "dog" "+")
int1