The bald eagle likes the lion. The bald eagle visits the bear. The bald eagle visits the cow. The bear chases the cow. The bear is round. The bear is young. The bear likes the bald eagle. The bear likes the lion. The cow chases the bear. The cow is round. The cow is young. The cow visits the bald eagle. The lion chases the bald eagle. The lion chases the bear. The lion visits the bald eagle. The lion visits the bear. If something visits the cow then it likes the lion. If something chases the cow then it is kind. If the cow likes the lion then the cow visits the bald eagle. If something is young then it visits the lion. If something chases the bear then it visits the cow. If something is kind and it chases the bear then it likes the bald eagle. If the bald eagle is cold then the bald eagle is round. If something is young and green then it chases the bald eagle.
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
If something visits the cow then it likes the lion.
((("something" "visits" "cow" "+")) -> ("something" "likes" "lion" "+"))
If something chases the cow then it is kind.
((("something" "chases" "cow" "+")) -> ("something" "is" "kind" "+"))
If the cow likes the lion then the cow visits the bald eagle.
((("cow" "likes" "lion" "+")) -> ("cow" "visits" "bald eagle" "+"))
If something is young then it visits the lion.
((("something" "is" "young" "+")) -> ("something" "visits" "lion" "+"))
If something chases the bear then it visits the cow.
((("something" "chases" "bear" "+")) -> ("something" "visits" "cow" "+"))
If something is kind and it chases the bear then it likes the bald eagle.
((("something" "is" "kind" "+") ("something" "chases" "bear" "+")) -> ("something" "likes" "bald eagle" "+"))
If the bald eagle is cold then the bald eagle is round.
((("bald eagle" "is" "cold" "+")) -> ("bald eagle" "is" "round" "+"))
If something is young and green then it chases the bald eagle.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "chases" "bald eagle" "+"))
The bald eagle visits the cow.
True
1
proof
[(triple3)]
("bald eagle" "visits" "cow" "+")
triple3
The bald eagle does not visit the bear.
False
1
inv-proof
[(triple2)]
("bald eagle" "visits" "bear" "-")
triple2
The bear is kind.
True
2
proof
[(((triple4) -> rule2))]
("bear" "is" "kind" "+")
((triple4) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The cow does not visit the lion.
False
2
inv-proof
[(((triple11) -> rule4))]
("cow" "visits" "lion" "-")
((triple11) -> (rule4 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
The cow likes the lion.
True
3
proof
[(((((triple9) -> rule5)) -> rule1))]
("cow" "likes" "lion" "+")
((((triple9) -> (rule5 % int2))) -> (rule1 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The lion does not like the lion.
False
3
inv-proof
[(((((triple14) -> rule5)) -> rule1))]
("lion" "likes" "lion" "-")
((((triple14) -> (rule5 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "round" "-")
The cow chases the bald eagle.
Unknown
rconc
[@1: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "chases" "bald eagle" "+")
The lion is not kind.
Unknown
inv-rconc
[@1: The lion is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "kind" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
@0: The bald eagle likes the lion.[(triple1 OR ((triple3) -> rule1))] The bald eagle visits the bear.[(triple2)] The bald eagle visits the cow.[(triple3)] The bear chases the cow.[(triple4)] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear likes the bald eagle.[(triple7)] The bear likes the lion.[(triple8)] The cow chases the bear.[(triple9)] The cow is round.[(triple10)] The cow is young.[(triple11)] The cow visits the bald eagle.[(triple12 OR ((((((triple9) -> rule5)) -> rule1)) -> rule3))] The lion chases the bald eagle.[(triple13)] The lion chases the bear.[(triple14)] The lion visits the bald eagle.[(triple15)] The lion visits the bear.[(triple16)] @1: The bear is kind.[(((triple4) -> rule2))] The bear visits the lion.[(((triple6) -> rule4))] The cow visits the cow.[(((triple9) -> rule5))] The cow visits the lion.[(((triple11) -> rule4))] The lion visits the cow.[(((triple14) -> rule5))] @2: The cow likes the lion.[(((((triple9) -> rule5)) -> rule1))] The lion likes the lion.[(((((triple14) -> rule5)) -> rule1))]
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple1
((triple3) -> (rule1 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple3
The bear chases the cow.
("bear" "chases" "cow" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple7
The bear likes the lion.
("bear" "likes" "lion" "+")
triple8
The cow chases the bear.
("cow" "chases" "bear" "+")
triple9
The cow is round.
("cow" "is" "round" "+")
triple10
The cow is young.
("cow" "is" "young" "+")
triple11
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple12
((((((triple9) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple13
The lion chases the bear.
("lion" "chases" "bear" "+")
triple14
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple15
The lion visits the bear.
("lion" "visits" "bear" "+")
triple16
The bear is kind.
("bear" "is" "kind" "+")
((triple4) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear visits the lion.
("bear" "visits" "lion" "+")
((triple6) -> (rule4 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple9) -> (rule5 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow visits the lion.
("cow" "visits" "lion" "+")
((triple11) -> (rule4 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
((triple14) -> (rule5 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
((((triple9) -> (rule5 % int2))) -> (rule1 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
((((triple14) -> (rule5 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2