The bald eagle needs the cow. The bald eagle needs the dog. The cat is big. The cat needs the bald eagle. The cat needs the dog. The cat sees the cow. The cat sees the dog. The cow eats the bald eagle. The cow is blue. The cow is kind. The cow needs the dog. The dog eats the cow. The dog is blue. The dog is kind. The dog sees the cow. If someone eats the cow then they see the dog.
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The cat is big.
("cat" "is" "big" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
If someone eats the cow then they see the dog.
((("someone" "eats" "cow" "+")) -> ("someone" "sees" "dog" "+"))
The bald eagle needs the cow.
True
1
proof
[(triple1)]
("bald eagle" "needs" "cow" "+")
triple1
The cow is not kind.
False
1
inv-proof
[(triple10)]
("cow" "is" "kind" "-")
triple10
The dog sees the dog.
True
2
proof
[(((triple12) -> rule1))]
("dog" "sees" "dog" "+")
((triple12) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog does not see the dog.
False
2
inv-proof
[(((triple12) -> rule1))]
("dog" "sees" "dog" "-")
((triple12) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The bald eagle does not see the dog.
Unknown
inv-rconc
[@1: The bald eagle sees the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "dog" "-")
The cow sees the dog.
Unknown
rconc
[@1: The cow sees the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "dog" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The dog eats the bald eagle.
Unknown
random
[@0: The dog eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bald eagle" "+")
@0: The bald eagle needs the cow.[(triple1)] The bald eagle needs the dog.[(triple2)] The cat is big.[(triple3)] The cat needs the bald eagle.[(triple4)] The cat needs the dog.[(triple5)] The cat sees the cow.[(triple6)] The cat sees the dog.[(triple7)] The cow eats the bald eagle.[(triple8)] The cow is blue.[(triple9)] The cow is kind.[(triple10)] The cow needs the dog.[(triple11)] The dog eats the cow.[(triple12)] The dog is blue.[(triple13)] The dog is kind.[(triple14)] The dog sees the cow.[(triple15)] @1: The dog sees the dog.[(((triple12) -> rule1))]
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple4
The cat needs the dog.
("cat" "needs" "dog" "+")
triple5
The cat sees the cow.
("cat" "sees" "cow" "+")
triple6
The cat sees the dog.
("cat" "sees" "dog" "+")
triple7
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple8
The cow is blue.
("cow" "is" "blue" "+")
triple9
The cow is kind.
("cow" "is" "kind" "+")
triple10
The cow needs the dog.
("cow" "needs" "dog" "+")
triple11
The dog eats the cow.
("dog" "eats" "cow" "+")
triple12
The dog is blue.
("dog" "is" "blue" "+")
triple13
The dog is kind.
("dog" "is" "kind" "+")
triple14
The dog sees the cow.
("dog" "sees" "cow" "+")
triple15
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple12) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1