The bald eagle likes the cow. The bald eagle sees the dog. The bear is round. The bear likes the bald eagle. The cow is nice. The dog eats the bald eagle. The dog eats the bear. The dog is round. The dog likes the bald eagle. The dog sees the bald eagle. If someone is rough then they see the cow.
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The cow is nice.
("cow" "is" "nice" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
If someone is rough then they see the cow.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "cow" "+"))
The dog eats the bear.
True
1
proof
[(triple7)]
("dog" "eats" "bear" "+")
triple7
The dog does not like the bald eagle.
False
1
inv-proof
[(triple9)]
("dog" "likes" "bald eagle" "-")
triple9
The cow does not see the cow.
Unknown
inv-rconc
[@1: The cow sees the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "cow" "-")
The bear eats the cow.
Unknown
random
[@0: The bear eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "cow" "+")
@0: The bald eagle likes the cow.[(triple1)] The bald eagle sees the dog.[(triple2)] The bear is round.[(triple3)] The bear likes the bald eagle.[(triple4)] The cow is nice.[(triple5)] The dog eats the bald eagle.[(triple6)] The dog eats the bear.[(triple7)] The dog is round.[(triple8)] The dog likes the bald eagle.[(triple9)] The dog sees the bald eagle.[(triple10)]
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple5
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple6
The dog eats the bear.
("dog" "eats" "bear" "+")
triple7
The dog is round.
("dog" "is" "round" "+")
triple8
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple9
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple10