The bald eagle likes the dog. The cow is rough. The cow likes the dog. The cow needs the bald eagle. The cow does not see the dog. The dog is green. The dog does not need the bald eagle. The dog sees the cow. The tiger is rough. The tiger sees the dog. If something sees the cow and it is not green then the cow is rough. If something likes the dog then the dog likes the cow. If something needs the cow and the cow sees the dog then the cow needs the tiger. If something sees the bald eagle and it sees the cow then the cow sees the bald eagle. If the bald eagle likes the cow and the bald eagle sees the cow then the bald eagle needs the tiger. If the bald eagle likes the cow then the cow does not like the dog. If something likes the tiger then the tiger does not need the cow. If something is rough and it does not like the dog then it does not like the bald eagle.
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow does not see the dog.
("cow" "sees" "dog" "-")
The dog is green.
("dog" "is" "green" "+")
The dog does not need the bald eagle.
("dog" "needs" "bald eagle" "-")
The dog sees the cow.
("dog" "sees" "cow" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If something sees the cow and it is not green then the cow is rough.
((("something" "sees" "cow" "+") ("something" "is" "green" "~")) -> ("cow" "is" "rough" "+"))
If something likes the dog then the dog likes the cow.
((("something" "likes" "dog" "+")) -> ("dog" "likes" "cow" "+"))
If something needs the cow and the cow sees the dog then the cow needs the tiger.
((("something" "needs" "cow" "+") ("cow" "sees" "dog" "+")) -> ("cow" "needs" "tiger" "+"))
If something sees the bald eagle and it sees the cow then the cow sees the bald eagle.
((("something" "sees" "bald eagle" "+") ("something" "sees" "cow" "+")) -> ("cow" "sees" "bald eagle" "+"))
If the bald eagle likes the cow and the bald eagle sees the cow then the bald eagle needs the tiger.
((("bald eagle" "likes" "cow" "+") ("bald eagle" "sees" "cow" "+")) -> ("bald eagle" "needs" "tiger" "+"))
If the bald eagle likes the cow then the cow does not like the dog.
((("bald eagle" "likes" "cow" "+")) -> ("cow" "likes" "dog" "-"))
If something likes the tiger then the tiger does not need the cow.
((("something" "likes" "tiger" "+")) -> ("tiger" "needs" "cow" "-"))
If something is rough and it does not like the dog then it does not like the bald eagle.
((("something" "is" "rough" "+") ("something" "likes" "dog" "~")) -> ("something" "likes" "bald eagle" "-"))
The dog does not need the bald eagle.
True
1
proof
[(triple7)]
("dog" "needs" "bald eagle" "-")
triple7
The cow sees the dog.
False
1
inv-proof
[(triple5)]
("cow" "sees" "dog" "+")
triple5
The bald eagle does not need the tiger.
Unknown
inv-rconc
[@1: The bald eagle needs the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "needs" "tiger" "-")
The dog sees the tiger.
Unknown
random
[@0: The dog sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "tiger" "+")
@0: The bald eagle likes the dog.[(triple1)] The cow does not see the dog.[(triple5)] The cow is rough.[(triple2)] The cow likes the dog.[(triple3)] The cow needs the bald eagle.[(triple4)] The dog does not need the bald eagle.[(triple7)] The dog is green.[(triple6)] The dog sees the cow.[(triple8)] The tiger is rough.[(triple9)] The tiger sees the dog.[(triple10)] @1: The dog likes the cow.[(((triple1) -> rule2) OR ((triple3) -> rule2))]
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple1
The cow does not see the dog.
("cow" "sees" "dog" "-")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple2
The cow likes the dog.
("cow" "likes" "dog" "+")
triple3
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple4
The dog does not need the bald eagle.
("dog" "needs" "bald eagle" "-")
triple7
The dog is green.
("dog" "is" "green" "+")
triple6
The dog sees the cow.
("dog" "sees" "cow" "+")
triple8
The tiger is rough.
("tiger" "is" "rough" "+")
triple9
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple10
The dog likes the cow.
("dog" "likes" "cow" "+")
((triple1) -> (rule2 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
((triple3) -> (rule2 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1