The bald eagle likes the cow. The bear chases the bald eagle. The bear is red. The bear likes the bald eagle. The bear likes the cow. The bear visits the bald eagle. The cow likes the bald eagle. The cow likes the bear. The cow visits the bald eagle. The cow visits the bear. If someone is young and they visit the cow then the cow is big. If someone is kind and they like the bald eagle then the bald eagle visits the cow. If the bear chases the bald eagle and the bald eagle visits the bear then the bear visits the cow. If someone likes the bear and they are young then the bear chases the cow. If someone chases the cow and they chase the bear then the cow visits the bear. If someone visits the cow then they are young. If the bear likes the bald eagle then the bear visits the cow. If someone visits the cow and the cow visits the bald eagle then the bald eagle is big.
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
If someone is young and they visit the cow then the cow is big.
((("someone" "is" "young" "+") ("someone" "visits" "cow" "+")) -> ("cow" "is" "big" "+"))
If someone is kind and they like the bald eagle then the bald eagle visits the cow.
((("someone" "is" "kind" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "visits" "cow" "+"))
If the bear chases the bald eagle and the bald eagle visits the bear then the bear visits the cow.
((("bear" "chases" "bald eagle" "+") ("bald eagle" "visits" "bear" "+")) -> ("bear" "visits" "cow" "+"))
If someone likes the bear and they are young then the bear chases the cow.
((("someone" "likes" "bear" "+") ("someone" "is" "young" "+")) -> ("bear" "chases" "cow" "+"))
If someone chases the cow and they chase the bear then the cow visits the bear.
((("someone" "chases" "cow" "+") ("someone" "chases" "bear" "+")) -> ("cow" "visits" "bear" "+"))
If someone visits the cow then they are young.
((("someone" "visits" "cow" "+")) -> ("someone" "is" "young" "+"))
If the bear likes the bald eagle then the bear visits the cow.
((("bear" "likes" "bald eagle" "+")) -> ("bear" "visits" "cow" "+"))
If someone visits the cow and the cow visits the bald eagle then the bald eagle is big.
((("someone" "visits" "cow" "+") ("cow" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
The bear chases the bald eagle.
True
1
proof
[(triple2)]
("bear" "chases" "bald eagle" "+")
triple2
The bear does not visit the bald eagle.
False
1
inv-proof
[(triple6)]
("bear" "visits" "bald eagle" "-")
triple6
The bear visits the cow.
True
2
proof
[(((triple4) -> rule7))]
("bear" "visits" "cow" "+")
((triple4) -> (rule7 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bear does not visit the cow.
False
2
inv-proof
[(((triple4) -> rule7))]
("bear" "visits" "cow" "-")
((triple4) -> (rule7 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bald eagle is big.
True
4
proof
[(((((triple4) -> rule7) triple9) -> rule8))]
("bald eagle" "is" "big" "+")
((((triple4) -> (rule7 % int2)) triple9) -> (rule8 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
int2
The bald eagle is not big.
False
4
inv-proof
[(((((triple4) -> rule7) triple9) -> rule8))]
("bald eagle" "is" "big" "-")
((((triple4) -> (rule7 % int2)) triple9) -> (rule8 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
int2
The cow is big.
True
6
proof
[(((((((triple4) -> rule7)) -> rule6) ((triple4) -> rule7)) -> rule1))]
("cow" "is" "big" "+")
((((((triple4) -> (rule7 % int3))) -> (rule6 % int2)) ((triple4) -> (rule7 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear visits the cow.
("bear" "visits" "cow" "+")
int3
The cow is not big.
False
6
inv-proof
[(((((((triple4) -> rule7)) -> rule6) ((triple4) -> rule7)) -> rule1))]
("cow" "is" "big" "-")
((((((triple4) -> (rule7 % int3))) -> (rule6 % int2)) ((triple4) -> (rule7 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear visits the cow.
("bear" "visits" "cow" "+")
int3
The bald eagle is not young.
Unknown
inv-rconc
[@2: The bald eagle is young.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("bald eagle" "is" "young" "-")
The bear chases the cow.
Unknown
rconc
[@2: The bear chases the cow.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("bear" "chases" "cow" "+")
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "young" "-")
The bald eagle visits the cow.
Unknown
rconc
[@1: The bald eagle visits the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "cow" "+")
The cow is not kind.
Unknown
inv-random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "-")
The bald eagle chases the cow.
Unknown
random
[@0: The bald eagle chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cow" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle likes the bear.
Unknown
random
[@0: The bald eagle likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bear" "+")
@0: The bald eagle likes the cow.[(triple1)] The bear chases the bald eagle.[(triple2)] The bear is red.[(triple3)] The bear likes the bald eagle.[(triple4)] The bear likes the cow.[(triple5)] The bear visits the bald eagle.[(triple6)] The cow likes the bald eagle.[(triple7)] The cow likes the bear.[(triple8)] The cow visits the bald eagle.[(triple9)] The cow visits the bear.[(triple10)] @1: The bear visits the cow.[(((triple4) -> rule7))] @2: The bald eagle is big.[(((((triple4) -> rule7) triple9) -> rule8))] The bear is young.[(((((triple4) -> rule7)) -> rule6))] @3: The cow is big.[(((((((triple4) -> rule7)) -> rule6) ((triple4) -> rule7)) -> rule1))]
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple4
The bear likes the cow.
("bear" "likes" "cow" "+")
triple5
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple6
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple7
The cow likes the bear.
("cow" "likes" "bear" "+")
triple8
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple9
The cow visits the bear.
("cow" "visits" "bear" "+")
triple10
The bear visits the cow.
("bear" "visits" "cow" "+")
((triple4) -> (rule7 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
((((triple4) -> (rule7 % int2)) triple9) -> (rule8 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
int2
The bear is young.
("bear" "is" "young" "+")
((((triple4) -> (rule7 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
int2
The cow is big.
("cow" "is" "big" "+")
((((((triple4) -> (rule7 % int3))) -> (rule6 % int2)) ((triple4) -> (rule7 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear visits the cow.
("bear" "visits" "cow" "+")
int3