The bald eagle is big. The bald eagle needs the cow. The bald eagle sees the bear. The bear is nice. The bear likes the lion. The cow needs the bear. The lion is big. The lion is young. The lion likes the bald eagle. The lion does not need the bald eagle. If something likes the lion then it likes the bald eagle. If the bear likes the bald eagle then the bear is green. If something sees the cow then the cow does not need the lion. If something is young then it is nice. If something is young then it sees the bald eagle. If something sees the lion then it sees the bald eagle. If something is young then it is kind. If something sees the bald eagle then the bald eagle is young.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion does not need the bald eagle.
("lion" "needs" "bald eagle" "-")
If something likes the lion then it likes the bald eagle.
((("something" "likes" "lion" "+")) -> ("something" "likes" "bald eagle" "+"))
If the bear likes the bald eagle then the bear is green.
((("bear" "likes" "bald eagle" "+")) -> ("bear" "is" "green" "+"))
If something sees the cow then the cow does not need the lion.
((("something" "sees" "cow" "+")) -> ("cow" "needs" "lion" "-"))
If something is young then it is nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If something is young then it sees the bald eagle.
((("something" "is" "young" "+")) -> ("something" "sees" "bald eagle" "+"))
If something sees the lion then it sees the bald eagle.
((("something" "sees" "lion" "+")) -> ("something" "sees" "bald eagle" "+"))
If something is young then it is kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something sees the bald eagle then the bald eagle is young.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
The bear likes the lion.
True
1
proof
[(triple5)]
("bear" "likes" "lion" "+")
triple5
The bear is not nice.
False
1
inv-proof
[(triple4)]
("bear" "is" "nice" "-")
triple4
The lion is kind.
True
2
proof
[(((triple8) -> rule7))]
("lion" "is" "kind" "+")
((triple8) -> (rule7 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The bear does not like the bald eagle.
False
2
inv-proof
[(((triple5) -> rule1))]
("bear" "likes" "bald eagle" "-")
((triple5) -> (rule1 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear is green.
True
3
proof
[(((((triple5) -> rule1)) -> rule2))]
("bear" "is" "green" "+")
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bear is not green.
False
3
inv-proof
[(((((triple5) -> rule1)) -> rule2))]
("bear" "is" "green" "-")
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle is nice.
True
4
proof
[(((((((triple8) -> rule5)) -> rule8)) -> rule4))]
("bald eagle" "is" "nice" "+")
((((((triple8) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int3
The bald eagle is not nice.
False
4
inv-proof
[(((((((triple8) -> rule5)) -> rule8)) -> rule4))]
("bald eagle" "is" "nice" "-")
((((((triple8) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int3
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The cow is nice.
Unknown
rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "nice" "+")
The bear does not see the bald eagle.
Unknown
inv-rconc
[@1: The bear sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "sees" "bald eagle" "-")
The cow is kind.
Unknown
rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "is" "kind" "+")
The bear does not need the lion.
Unknown
inv-random
[@0: The bear needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "lion" "-")
The cow sees the lion.
Unknown
random
[@0: The cow sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "lion" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The bear sees the lion.
Unknown
random
[@0: The bear sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "lion" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle needs the cow.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear is nice.[(triple4)] The bear likes the lion.[(triple5)] The cow needs the bear.[(triple6)] The lion does not need the bald eagle.[(triple10)] The lion is big.[(triple7)] The lion is young.[(triple8)] The lion likes the bald eagle.[(triple9)] @1: The bear likes the bald eagle.[(((triple5) -> rule1))] The lion is kind.[(((triple8) -> rule7))] The lion is nice.[(((triple8) -> rule4))] The lion sees the bald eagle.[(((triple8) -> rule5))] @2: The bald eagle is young.[(((((triple8) -> rule5)) -> rule8))] The bear is green.[(((((triple5) -> rule1)) -> rule2))] @3: The bald eagle is kind.[(((((((triple8) -> rule5)) -> rule8)) -> rule7))] The bald eagle is nice.[(((((((triple8) -> rule5)) -> rule8)) -> rule4))] The bald eagle sees the bald eagle.[(((((((triple8) -> rule5)) -> rule8)) -> rule5))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear likes the lion.
("bear" "likes" "lion" "+")
triple5
The cow needs the bear.
("cow" "needs" "bear" "+")
triple6
The lion does not need the bald eagle.
("lion" "needs" "bald eagle" "-")
triple10
The lion is big.
("lion" "is" "big" "+")
triple7
The lion is young.
("lion" "is" "young" "+")
triple8
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple9
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
((triple8) -> (rule7 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
((triple8) -> (rule4 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
((triple8) -> (rule5 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
((((triple8) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int2
The bear is green.
("bear" "is" "green" "+")
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((((((triple8) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((((((triple8) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int3
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((((triple8) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int3