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