The bald eagle is big. The bald eagle sees the lion. The bald eagle does not visit the lion. The cow is big. The cow does not like the dog. The cow likes the lion. The cow sees the bald eagle. The dog is big. The dog visits the cow. The lion is nice. The lion likes the dog. The lion sees the bald eagle. If something visits the dog and it does not visit the lion then it is big. If something sees the lion then it does not like the cow. If something sees the bald eagle and it is not big then it likes the dog.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle does not visit the lion.
("bald eagle" "visits" "lion" "-")
The cow is big.
("cow" "is" "big" "+")
The cow does not like the dog.
("cow" "likes" "dog" "-")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The dog is big.
("dog" "is" "big" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
If something visits the dog and it does not visit the lion then it is big.
((("something" "visits" "dog" "+") ("something" "visits" "lion" "~")) -> ("something" "is" "big" "+"))
If something sees the lion then it does not like the cow.
((("something" "sees" "lion" "+")) -> ("something" "likes" "cow" "-"))
If something sees the bald eagle and it is not big then it likes the dog.
((("something" "sees" "bald eagle" "+") ("something" "is" "big" "~")) -> ("something" "likes" "dog" "+"))
The cow likes the lion.
True
1
proof
[(triple6)]
("cow" "likes" "lion" "+")
triple6
The cow does not see the bald eagle.
False
1
inv-proof
[(triple7)]
("cow" "sees" "bald eagle" "-")
triple7
The bald eagle does not like the cow.
True
2
proof
[(((triple2) -> rule2))]
("bald eagle" "likes" "cow" "-")
((triple2) -> (rule2 % int1))
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
int1
The bald eagle likes the cow.
False
2
inv-proof
[(((triple2) -> rule2))]
("bald eagle" "likes" "cow" "+")
((triple2) -> (rule2 % int1))
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
int1
The bald eagle does not like the dog.
Unknown
inv-rconc
[@1: The bald eagle likes the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "dog" "-")
The lion is big.
Unknown
rconc
[@1: The lion is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "big" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
@0: The bald eagle does not visit the lion.[(triple3)] The bald eagle is big.[(triple1)] The bald eagle sees the lion.[(triple2)] The cow does not like the dog.[(triple5)] The cow is big.[(triple4)] The cow likes the lion.[(triple6)] The cow sees the bald eagle.[(triple7)] The dog is big.[(triple8)] The dog visits the cow.[(triple9)] The lion is nice.[(triple10)] The lion likes the dog.[(triple11)] The lion sees the bald eagle.[(triple12)] @1: The bald eagle does not like the cow.[(((triple2) -> rule2))]
The bald eagle does not visit the lion.
("bald eagle" "visits" "lion" "-")
triple3
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple2
The cow does not like the dog.
("cow" "likes" "dog" "-")
triple5
The cow is big.
("cow" "is" "big" "+")
triple4
The cow likes the lion.
("cow" "likes" "lion" "+")
triple6
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple7
The dog is big.
("dog" "is" "big" "+")
triple8
The dog visits the cow.
("dog" "visits" "cow" "+")
triple9
The lion is nice.
("lion" "is" "nice" "+")
triple10
The lion likes the dog.
("lion" "likes" "dog" "+")
triple11
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple12
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
((triple2) -> (rule2 % int1))
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
int1