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