The bald eagle is rough. The bald eagle needs the tiger. The cat sees the lion. The lion needs the bald eagle. The lion needs the tiger. The tiger is rough. The tiger likes the cat. If something likes the cat and it does not need the bald eagle then it does not see the lion. If something needs the bald eagle then it is nice.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
If something likes the cat and it does not need the bald eagle then it does not see the lion.
((("something" "likes" "cat" "+") ("something" "needs" "bald eagle" "~")) -> ("something" "sees" "lion" "-"))
If something needs the bald eagle then it is nice.
((("something" "needs" "bald eagle" "+")) -> ("something" "is" "nice" "+"))
The bald eagle is rough.
True
1
proof
[(triple1)]
("bald eagle" "is" "rough" "+")
triple1
The bald eagle is not rough.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "rough" "-")
triple1
The lion is nice.
True
2
proof
[(((triple4) -> rule2))]
("lion" "is" "nice" "+")
((triple4) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is not nice.
False
2
inv-proof
[(((triple4) -> rule2))]
("lion" "is" "nice" "-")
((triple4) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The tiger is nice.
Unknown
rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "nice" "+")
The bald eagle does not need the lion.
Unknown
inv-random
[@0: The bald eagle needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "lion" "-")
The tiger likes the bald eagle.
Unknown
random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle needs the tiger.[(triple2)] The cat sees the lion.[(triple3)] The lion needs the bald eagle.[(triple4)] The lion needs the tiger.[(triple5)] The tiger is rough.[(triple6)] The tiger likes the cat.[(triple7)] @1: The lion is nice.[(((triple4) -> rule2))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple2
The cat sees the lion.
("cat" "sees" "lion" "+")
triple3
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple4
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple5
The tiger is rough.
("tiger" "is" "rough" "+")
triple6
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
((triple4) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1