The bald eagle is nice. The bear is green. The cat sees the bald eagle. The lion eats the bear. If the cat eats the bear and the cat visits the bear then the cat eats the bald eagle. If someone eats the bald eagle and they are cold then the bald eagle sees the lion. If someone eats the lion and they are young then the lion eats the bear. If someone eats the bear and the bear is cold then they are green. If someone is green then they are cold. If the cat sees the bald eagle then the bald eagle sees the bear. If the bald eagle visits the cat then the cat eats the lion. If someone eats the bear and they visit the bald eagle then they see the lion.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear is green.
("bear" "is" "green" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
If the cat eats the bear and the cat visits the bear then the cat eats the bald eagle.
((("cat" "eats" "bear" "+") ("cat" "visits" "bear" "+")) -> ("cat" "eats" "bald eagle" "+"))
If someone eats the bald eagle and they are cold then the bald eagle sees the lion.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "cold" "+")) -> ("bald eagle" "sees" "lion" "+"))
If someone eats the lion and they are young then the lion eats the bear.
((("someone" "eats" "lion" "+") ("someone" "is" "young" "+")) -> ("lion" "eats" "bear" "+"))
If someone eats the bear and the bear is cold then they are green.
((("someone" "eats" "bear" "+") ("bear" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If the cat sees the bald eagle then the bald eagle sees the bear.
((("cat" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "bear" "+"))
If the bald eagle visits the cat then the cat eats the lion.
((("bald eagle" "visits" "cat" "+")) -> ("cat" "eats" "lion" "+"))
If someone eats the bear and they visit the bald eagle then they see the lion.
((("someone" "eats" "bear" "+") ("someone" "visits" "bald eagle" "+")) -> ("someone" "sees" "lion" "+"))
The bald eagle is nice.
True
1
proof
[(triple1)]
("bald eagle" "is" "nice" "+")
triple1
The bear is not green.
False
1
inv-proof
[(triple2)]
("bear" "is" "green" "-")
triple2
The bald eagle sees the bear.
True
2
proof
[(((triple3) -> rule6))]
("bald eagle" "sees" "bear" "+")
((triple3) -> (rule6 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bear is not cold.
False
2
inv-proof
[(((triple2) -> rule5))]
("bear" "is" "cold" "-")
((triple2) -> (rule5 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The lion is green.
True
4
proof
[(((triple4 ((triple2) -> rule5)) -> rule4))]
("lion" "is" "green" "+")
((triple4 ((triple2) -> (rule5 % int2))) -> (rule4 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The lion is not green.
False
4
inv-proof
[(((triple4 ((triple2) -> rule5)) -> rule4))]
("lion" "is" "green" "-")
((triple4 ((triple2) -> (rule5 % int2))) -> (rule4 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The lion is cold.
True
5
proof
[(((((triple4 ((triple2) -> rule5)) -> rule4)) -> rule5))]
("lion" "is" "cold" "+")
((((triple4 ((triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The lion is not cold.
False
5
inv-proof
[(((((triple4 ((triple2) -> rule5)) -> rule4)) -> rule5))]
("lion" "is" "cold" "-")
((((triple4 ((triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "green" "-")
The bald eagle sees the lion.
Unknown
rconc
[@2: The bald eagle sees the lion.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("bald eagle" "sees" "lion" "+")
The lion does not see the lion.
Unknown
inv-rconc
[@1: The lion sees the lion.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "sees" "lion" "-")
The cat eats the bald eagle.
Unknown
rconc
[@1: The cat eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "bald eagle" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The bear eats the lion.
Unknown
random
[@0: The bear eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "lion" "+")
The cat does not see the bear.
Unknown
inv-random
[@0: The cat sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bear" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
@0: The bald eagle is nice.[(triple1)] The bear is green.[(triple2)] The cat sees the bald eagle.[(triple3)] The lion eats the bear.[(triple4)] @1: The bald eagle sees the bear.[(((triple3) -> rule6))] The bear is cold.[(((triple2) -> rule5))] @2: The lion is green.[(((triple4 ((triple2) -> rule5)) -> rule4))] @3: The lion is cold.[(((((triple4 ((triple2) -> rule5)) -> rule4)) -> rule5))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple3
The lion eats the bear.
("lion" "eats" "bear" "+")
triple4
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((triple3) -> (rule6 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
((triple2) -> (rule5 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The lion is green.
("lion" "is" "green" "+")
((triple4 ((triple2) -> (rule5 % int2))) -> (rule4 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
((((triple4 ((triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3