The bald eagle is kind. The bald eagle likes the dog. The bear eats the bald eagle. The bear is cold. The bear is round. The cow eats the dog. The cow is big. The cow is cold. The cow visits the bald eagle. The dog is round. The dog likes the bald eagle. The dog likes the bear. If something visits the dog then it likes the dog. If something is cold then it likes the bear. If the bear likes the cow then the bear eats the bald eagle. If something likes the dog then the dog is young. If something is round and it likes the bald eagle then it is young. If something eats the cow then it is kind. If something likes the cow and it is cold then it visits the dog. If something likes the dog then it is kind.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is round.
("bear" "is" "round" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
If something visits the dog then it likes the dog.
((("something" "visits" "dog" "+")) -> ("something" "likes" "dog" "+"))
If something is cold then it likes the bear.
((("something" "is" "cold" "+")) -> ("something" "likes" "bear" "+"))
If the bear likes the cow then the bear eats the bald eagle.
((("bear" "likes" "cow" "+")) -> ("bear" "eats" "bald eagle" "+"))
If something likes the dog then the dog is young.
((("something" "likes" "dog" "+")) -> ("dog" "is" "young" "+"))
If something is round and it likes the bald eagle then it is young.
((("something" "is" "round" "+") ("something" "likes" "bald eagle" "+")) -> ("something" "is" "young" "+"))
If something eats the cow then it is kind.
((("something" "eats" "cow" "+")) -> ("something" "is" "kind" "+"))
If something likes the cow and it is cold then it visits the dog.
((("something" "likes" "cow" "+") ("something" "is" "cold" "+")) -> ("something" "visits" "dog" "+"))
If something likes the dog then it is kind.
((("something" "likes" "dog" "+")) -> ("something" "is" "kind" "+"))
The cow eats the dog.
True
1
proof
[(triple6)]
("cow" "eats" "dog" "+")
triple6
The cow does not visit the bald eagle.
False
1
inv-proof
[(triple9)]
("cow" "visits" "bald eagle" "-")
triple9
The cow likes the bear.
True
2
proof
[(((triple8) -> rule2))]
("cow" "likes" "bear" "+")
((triple8) -> (rule2 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The bear does not like the bear.
False
2
inv-proof
[(((triple4) -> rule2))]
("bear" "likes" "bear" "-")
((triple4) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear does not like the dog.
Unknown
inv-rconc
[@2: The bear likes the dog.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("bear" "likes" "dog" "-")
The dog visits the dog.
Unknown
rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "visits" "dog" "+")
The dog is not big.
Unknown
inv-random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "-")
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 is kind.[(triple1 OR ((triple2) -> rule8))] The bald eagle likes the dog.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear is cold.[(triple4)] The bear is round.[(triple5)] The cow eats the dog.[(triple6)] The cow is big.[(triple7)] The cow is cold.[(triple8)] The cow visits the bald eagle.[(triple9)] The dog is round.[(triple10)] The dog likes the bald eagle.[(triple11)] The dog likes the bear.[(triple12)] @1: The bear likes the bear.[(((triple4) -> rule2))] The cow likes the bear.[(((triple8) -> rule2))] The dog is young.[(((triple2) -> rule4) OR ((triple10 triple11) -> rule5))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
((triple2) -> (rule8 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The cow eats the dog.
("cow" "eats" "dog" "+")
triple6
The cow is big.
("cow" "is" "big" "+")
triple7
The cow is cold.
("cow" "is" "cold" "+")
triple8
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple9
The dog is round.
("dog" "is" "round" "+")
triple10
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple11
The dog likes the bear.
("dog" "likes" "bear" "+")
triple12
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple4) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
((triple8) -> (rule2 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The dog is young.
("dog" "is" "young" "+")
((triple2) -> (rule4 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
((triple10 triple11) -> (rule5 % int1))
The dog is young.
("dog" "is" "young" "+")
int1