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