The bald eagle does not need the tiger. The bald eagle does not visit the tiger. The lion is big. The lion is not green. The lion is nice. The lion is red. The lion needs the bald eagle. The lion needs the tiger. The lion does not see the tiger. The lion visits the bald eagle. The lion visits the tiger. The tiger is green. The tiger is red. The tiger needs the bald eagle. The tiger visits the bald eagle. The tiger does not visit the lion. If the lion needs the tiger and the lion is not big then the lion visits the tiger. If someone needs the tiger and they see the tiger then they are round. If someone needs the lion then they see the lion. If someone is green then they need the lion. If the tiger does not see the lion and the tiger does not need the lion then the tiger does not need the bald eagle. If the tiger is nice then the tiger needs the bald eagle. If the tiger is round and the tiger visits the bald eagle then the tiger sees the bald eagle. If the bald eagle is red and the tiger does not need the bald eagle then the tiger visits the bald eagle.
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
The lion is big.
("lion" "is" "big" "+")
The lion is not green.
("lion" "is" "green" "-")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The lion does not see the tiger.
("lion" "sees" "tiger" "-")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger does not visit the lion.
("tiger" "visits" "lion" "-")
If the lion needs the tiger and the lion is not big then the lion visits the tiger.
((("lion" "needs" "tiger" "+") ("lion" "is" "big" "~")) -> ("lion" "visits" "tiger" "+"))
If someone needs the tiger and they see the tiger then they are round.
((("someone" "needs" "tiger" "+") ("someone" "sees" "tiger" "+")) -> ("someone" "is" "round" "+"))
If someone needs the lion then they see the lion.
((("someone" "needs" "lion" "+")) -> ("someone" "sees" "lion" "+"))
If someone is green then they need the lion.
((("someone" "is" "green" "+")) -> ("someone" "needs" "lion" "+"))
If the tiger does not see the lion and the tiger does not need the lion then the tiger does not need the bald eagle.
((("tiger" "sees" "lion" "~") ("tiger" "needs" "lion" "~")) -> ("tiger" "needs" "bald eagle" "-"))
If the tiger is nice then the tiger needs the bald eagle.
((("tiger" "is" "nice" "+")) -> ("tiger" "needs" "bald eagle" "+"))
If the tiger is round and the tiger visits the bald eagle then the tiger sees the bald eagle.
((("tiger" "is" "round" "+") ("tiger" "visits" "bald eagle" "+")) -> ("tiger" "sees" "bald eagle" "+"))
If the bald eagle is red and the tiger does not need the bald eagle then the tiger visits the bald eagle.
((("bald eagle" "is" "red" "+") ("tiger" "needs" "bald eagle" "~")) -> ("tiger" "visits" "bald eagle" "+"))
The lion needs the tiger.
True
1
proof
[(triple8)]
("lion" "needs" "tiger" "+")
triple8
The tiger is not green.
False
1
inv-proof
[(triple12)]
("tiger" "is" "green" "-")
triple12
The tiger needs the lion.
True
2
proof
[(((triple12) -> rule4))]
("tiger" "needs" "lion" "+")
((triple12) -> (rule4 % int1))
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int1
The tiger does not need the lion.
False
2
inv-proof
[(((triple12) -> rule4))]
("tiger" "needs" "lion" "-")
((triple12) -> (rule4 % int1))
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int1
The tiger sees the lion.
True
3
proof
[(((((triple12) -> rule4)) -> rule3))]
("tiger" "sees" "lion" "+")
((((triple12) -> (rule4 % int2))) -> (rule3 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int2
The tiger does not see the lion.
False
3
inv-proof
[(((((triple12) -> rule4)) -> rule3))]
("tiger" "sees" "lion" "-")
((((triple12) -> (rule4 % int2))) -> (rule3 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int2
The bald eagle does not need the lion.
Unknown
inv-rconc
[@1: The bald eagle needs the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "needs" "lion" "-")
The lion is round.
Unknown
rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "round" "+")
The lion does not see the lion.
Unknown
inv-rconc
[@2: The lion sees the lion.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("lion" "sees" "lion" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle does not need the tiger.[(triple1)] The bald eagle does not visit the tiger.[(triple2)] The lion does not see the tiger.[(triple9)] The lion is big.[(triple3)] The lion is nice.[(triple5)] The lion is not green.[(triple4)] The lion is red.[(triple6)] The lion needs the bald eagle.[(triple7)] The lion needs the tiger.[(triple8)] The lion visits the bald eagle.[(triple10)] The lion visits the tiger.[(triple11)] The tiger does not visit the lion.[(triple16)] The tiger is green.[(triple12)] The tiger is red.[(triple13)] The tiger needs the bald eagle.[(triple14)] The tiger visits the bald eagle.[(triple15)] @1: The tiger needs the lion.[(((triple12) -> rule4))] @2: The tiger sees the lion.[(((((triple12) -> rule4)) -> rule3))]
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
triple1
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
triple2
The lion does not see the tiger.
("lion" "sees" "tiger" "-")
triple9
The lion is big.
("lion" "is" "big" "+")
triple3
The lion is nice.
("lion" "is" "nice" "+")
triple5
The lion is not green.
("lion" "is" "green" "-")
triple4
The lion is red.
("lion" "is" "red" "+")
triple6
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple7
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple8
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple10
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple11
The tiger does not visit the lion.
("tiger" "visits" "lion" "-")
triple16
The tiger is green.
("tiger" "is" "green" "+")
triple12
The tiger is red.
("tiger" "is" "red" "+")
triple13
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple14
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple15
The tiger needs the lion.
("tiger" "needs" "lion" "+")
((triple12) -> (rule4 % int1))
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int1
The tiger sees the lion.
("tiger" "sees" "lion" "+")
((((triple12) -> (rule4 % int2))) -> (rule3 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int2