The bald eagle is blue. The bald eagle visits the bear. The bear eats the bald eagle. The bear eats the cow. The cow eats the bear. The cow eats the dog. The dog is big. The dog is red. The dog is young. The dog visits the bear. If the bear is round then the bear eats the cow. If someone eats the dog then they are round.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
If the bear is round then the bear eats the cow.
((("bear" "is" "round" "+")) -> ("bear" "eats" "cow" "+"))
If someone eats the dog then they are round.
((("someone" "eats" "dog" "+")) -> ("someone" "is" "round" "+"))
The cow eats the bear.
True
1
proof
[(triple5)]
("cow" "eats" "bear" "+")
triple5
The bald eagle is not blue.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "blue" "-")
triple1
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "round" "-")
The bear likes the bald eagle.
Unknown
random
[@0: The bear likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle visits the bear.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear eats the cow.[(triple4)] The cow eats the bear.[(triple5)] The cow eats the dog.[(triple6)] The dog is big.[(triple7)] The dog is red.[(triple8)] The dog is young.[(triple9)] The dog visits the bear.[(triple10)] @1: The cow is round.[(((triple6) -> rule2))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple3
The bear eats the cow.
("bear" "eats" "cow" "+")
triple4
The cow eats the bear.
("cow" "eats" "bear" "+")
triple5
The cow eats the dog.
("cow" "eats" "dog" "+")
triple6
The dog is big.
("dog" "is" "big" "+")
triple7
The dog is red.
("dog" "is" "red" "+")
triple8
The dog is young.
("dog" "is" "young" "+")
triple9
The dog visits the bear.
("dog" "visits" "bear" "+")
triple10
The cow is round.
("cow" "is" "round" "+")
((triple6) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1