The bald eagle is cold. The bald eagle likes the cow. The bear is cold. The bear is kind. The bear is young. The bear likes the cow. The bear likes the lion. The bear visits the cow. The cow chases the bald eagle. The cow likes the lion. The cow visits the bear. The lion chases the cow. The lion is green. The lion likes the bald eagle. The lion likes the bear. The lion visits the bald eagle. If someone likes the bald eagle then the bald eagle visits the bear. If the bald eagle is young then the bald eagle visits the lion. If the bear is cold then the bear chases the bald eagle. If the cow chases the lion then the lion chases the bear. If someone likes the bald eagle and the bald eagle likes the bear then the bald eagle likes the lion. If the cow likes the lion and the cow visits the lion then the lion visits the cow. If someone chases the lion then they like the lion. If someone visits the cow and they are cold then they are nice.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion is green.
("lion" "is" "green" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If someone likes the bald eagle then the bald eagle visits the bear.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "visits" "bear" "+"))
If the bald eagle is young then the bald eagle visits the lion.
((("bald eagle" "is" "young" "+")) -> ("bald eagle" "visits" "lion" "+"))
If the bear is cold then the bear chases the bald eagle.
((("bear" "is" "cold" "+")) -> ("bear" "chases" "bald eagle" "+"))
If the cow chases the lion then the lion chases the bear.
((("cow" "chases" "lion" "+")) -> ("lion" "chases" "bear" "+"))
If someone likes the bald eagle and the bald eagle likes the bear then the bald eagle likes the lion.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "likes" "bear" "+")) -> ("bald eagle" "likes" "lion" "+"))
If the cow likes the lion and the cow visits the lion then the lion visits the cow.
((("cow" "likes" "lion" "+") ("cow" "visits" "lion" "+")) -> ("lion" "visits" "cow" "+"))
If someone chases the lion then they like the lion.
((("someone" "chases" "lion" "+")) -> ("someone" "likes" "lion" "+"))
If someone visits the cow and they are cold then they are nice.
((("someone" "visits" "cow" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
The lion chases the cow.
True
1
proof
[(triple12)]
("lion" "chases" "cow" "+")
triple12
The bear does not visit the cow.
False
1
inv-proof
[(triple8)]
("bear" "visits" "cow" "-")
triple8
The bear chases the bald eagle.
True
2
proof
[(((triple3) -> rule3))]
("bear" "chases" "bald eagle" "+")
((triple3) -> (rule3 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bald eagle does not visit the bear.
False
2
inv-proof
[(((triple14) -> rule1))]
("bald eagle" "visits" "bear" "-")
((triple14) -> (rule1 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The cow is not nice.
Unknown
inv-rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "is" "nice" "-")
The lion visits the cow.
Unknown
rconc
[@1: The lion visits the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "visits" "cow" "+")
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 is cold.[(triple1)] The bald eagle likes the cow.[(triple2)] The bear is cold.[(triple3)] The bear is kind.[(triple4)] The bear is young.[(triple5)] The bear likes the cow.[(triple6)] The bear likes the lion.[(triple7)] The bear visits the cow.[(triple8)] The cow chases the bald eagle.[(triple9)] The cow likes the lion.[(triple10)] The cow visits the bear.[(triple11)] The lion chases the cow.[(triple12)] The lion is green.[(triple13)] The lion likes the bald eagle.[(triple14)] The lion likes the bear.[(triple15)] The lion visits the bald eagle.[(triple16)] @1: The bald eagle visits the bear.[(((triple14) -> rule1))] The bear chases the bald eagle.[(((triple3) -> rule3))] The bear is nice.[(((triple8 triple3) -> rule8))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The bear likes the cow.
("bear" "likes" "cow" "+")
triple6
The bear likes the lion.
("bear" "likes" "lion" "+")
triple7
The bear visits the cow.
("bear" "visits" "cow" "+")
triple8
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple9
The cow likes the lion.
("cow" "likes" "lion" "+")
triple10
The cow visits the bear.
("cow" "visits" "bear" "+")
triple11
The lion chases the cow.
("lion" "chases" "cow" "+")
triple12
The lion is green.
("lion" "is" "green" "+")
triple13
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple14
The lion likes the bear.
("lion" "likes" "bear" "+")
triple15
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple16
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
((triple14) -> (rule1 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
((triple3) -> (rule3 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
((triple8 triple3) -> (rule8 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1