The bald eagle chases the dog. The bald eagle eats the squirrel. The bald eagle is rough. The bald eagle sees the bear. The bear chases the dog. The bear eats the bald eagle. The bear is not blue. The bear is cold. The bear is not young. The dog does not chase the bear. The dog chases the squirrel. The dog eats the bald eagle. The dog sees the bear. The dog sees the squirrel. The squirrel eats the bear. The squirrel is round. If someone sees the bald eagle then the bald eagle chases the dog. If someone eats the bald eagle then they do not see the bald eagle. If someone eats the bear and they see the bald eagle then the bald eagle eats the dog.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is not blue.
("bear" "is" "blue" "-")
The bear is cold.
("bear" "is" "cold" "+")
The bear is not young.
("bear" "is" "young" "-")
The dog does not chase the bear.
("dog" "chases" "bear" "-")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If someone sees the bald eagle then the bald eagle chases the dog.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "chases" "dog" "+"))
If someone eats the bald eagle then they do not see the bald eagle.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "sees" "bald eagle" "-"))
If someone eats the bear and they see the bald eagle then the bald eagle eats the dog.
((("someone" "eats" "bear" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "dog" "+"))
The dog chases the squirrel.
True
1
proof
[(triple11)]
("dog" "chases" "squirrel" "+")
triple11
The dog does not eat the bald eagle.
False
1
inv-proof
[(triple12)]
("dog" "eats" "bald eagle" "-")
triple12
The bear does not see the bald eagle.
True
2
proof
[(((triple6) -> rule2))]
("bear" "sees" "bald eagle" "-")
((triple6) -> (rule2 % int1))
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
int1
The bear sees the bald eagle.
False
2
inv-proof
[(((triple6) -> rule2))]
("bear" "sees" "bald eagle" "+")
((triple6) -> (rule2 % int1))
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
int1
The bald eagle does not eat the dog.
Unknown
inv-rconc
[@1: The bald eagle eats the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "eats" "dog" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
The squirrel is not cold.
Unknown
inv-random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle sees the bear.[(triple4)] The bear chases the dog.[(triple5)] The bear eats the bald eagle.[(triple6)] The bear is cold.[(triple8)] The bear is not blue.[(triple7)] The bear is not young.[(triple9)] The dog chases the squirrel.[(triple11)] The dog does not chase the bear.[(triple10)] The dog eats the bald eagle.[(triple12)] The dog sees the bear.[(triple13)] The dog sees the squirrel.[(triple14)] The squirrel eats the bear.[(triple15)] The squirrel is round.[(triple16)] @1: The bear does not see the bald eagle.[(((triple6) -> rule2))] The dog does not see the bald eagle.[(((triple12) -> rule2))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple4
The bear chases the dog.
("bear" "chases" "dog" "+")
triple5
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple6
The bear is cold.
("bear" "is" "cold" "+")
triple8
The bear is not blue.
("bear" "is" "blue" "-")
triple7
The bear is not young.
("bear" "is" "young" "-")
triple9
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple11
The dog does not chase the bear.
("dog" "chases" "bear" "-")
triple10
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple12
The dog sees the bear.
("dog" "sees" "bear" "+")
triple13
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple14
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple15
The squirrel is round.
("squirrel" "is" "round" "+")
triple16
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
((triple6) -> (rule2 % int1))
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
int1
The dog does not see the bald eagle.
("dog" "sees" "bald eagle" "-")
((triple12) -> (rule2 % int1))
The dog does not see the bald eagle.
("dog" "sees" "bald eagle" "-")
int1