The bald eagle is young. The bald eagle does not visit the dog. The bear chases the bald eagle. The bear chases the dog. The bear is green. The bear is nice. The bear is young. The bear likes the bald eagle. The bear does not like the dog. The bear visits the dog. The dog does not chase the bald eagle. The dog likes the bear. If someone visits the bald eagle then the bald eagle chases the bear. If someone chases the bald eagle then the bald eagle chases the bear. If someone likes the dog then the dog is nice.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear does not like the dog.
("bear" "likes" "dog" "-")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog does not chase the bald eagle.
("dog" "chases" "bald eagle" "-")
The dog likes the bear.
("dog" "likes" "bear" "+")
If someone visits the bald eagle then the bald eagle chases the bear.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "chases" "bear" "+"))
If someone chases the bald eagle then the bald eagle chases the bear.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "bear" "+"))
If someone likes the dog then the dog is nice.
((("someone" "likes" "dog" "+")) -> ("dog" "is" "nice" "+"))
The bear visits the dog.
True
1
proof
[(triple10)]
("bear" "visits" "dog" "+")
triple10
The bear does not chase the bald eagle.
False
1
inv-proof
[(triple3)]
("bear" "chases" "bald eagle" "-")
triple3
The bald eagle chases the bear.
True
2
proof
[(((triple3) -> rule2))]
("bald eagle" "chases" "bear" "+")
((triple3) -> (rule2 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle does not chase the bear.
False
2
inv-proof
[(((triple3) -> rule2))]
("bald eagle" "chases" "bear" "-")
((triple3) -> (rule2 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "nice" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
@0: The bald eagle does not visit the dog.[(triple2)] The bald eagle is young.[(triple1)] The bear chases the bald eagle.[(triple3)] The bear chases the dog.[(triple4)] The bear does not like the dog.[(triple9)] The bear is green.[(triple5)] The bear is nice.[(triple6)] The bear is young.[(triple7)] The bear likes the bald eagle.[(triple8)] The bear visits the dog.[(triple10)] The dog does not chase the bald eagle.[(triple11)] The dog likes the bear.[(triple12)] @1: The bald eagle chases the bear.[(((triple3) -> rule2))]
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple3
The bear chases the dog.
("bear" "chases" "dog" "+")
triple4
The bear does not like the dog.
("bear" "likes" "dog" "-")
triple9
The bear is green.
("bear" "is" "green" "+")
triple5
The bear is nice.
("bear" "is" "nice" "+")
triple6
The bear is young.
("bear" "is" "young" "+")
triple7
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple8
The bear visits the dog.
("bear" "visits" "dog" "+")
triple10
The dog does not chase the bald eagle.
("dog" "chases" "bald eagle" "-")
triple11
The dog likes the bear.
("dog" "likes" "bear" "+")
triple12
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
((triple3) -> (rule2 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1