The bald eagle needs the tiger. The tiger does not like the bald eagle. The tiger needs the bald eagle. If something is kind and it needs the tiger then it likes the tiger. If the tiger does not like the bald eagle then the bald eagle does not like the tiger. If something likes the tiger and the tiger does not like the bald eagle then it chases the tiger. If something needs the bald eagle and the bald eagle needs the tiger then the bald eagle is nice. If something chases the tiger and it is nice then the tiger is round. If something needs the bald eagle then it is not green. If something is kind and it does not chase the tiger then the tiger does not need the bald eagle. If something chases the bald eagle and it likes the tiger then the tiger does not need the bald eagle.
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The tiger does not like the bald eagle.
("tiger" "likes" "bald eagle" "-")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If something is kind and it needs the tiger then it likes the tiger.
((("something" "is" "kind" "+") ("something" "needs" "tiger" "+")) -> ("something" "likes" "tiger" "+"))
If the tiger does not like the bald eagle then the bald eagle does not like the tiger.
((("tiger" "likes" "bald eagle" "~")) -> ("bald eagle" "likes" "tiger" "-"))
If something likes the tiger and the tiger does not like the bald eagle then it chases the tiger.
((("something" "likes" "tiger" "+") ("tiger" "likes" "bald eagle" "~")) -> ("something" "chases" "tiger" "+"))
If something needs the bald eagle and the bald eagle needs the tiger then the bald eagle is nice.
((("something" "needs" "bald eagle" "+") ("bald eagle" "needs" "tiger" "+")) -> ("bald eagle" "is" "nice" "+"))
If something chases the tiger and it is nice then the tiger is round.
((("something" "chases" "tiger" "+") ("something" "is" "nice" "+")) -> ("tiger" "is" "round" "+"))
If something needs the bald eagle then it is not green.
((("something" "needs" "bald eagle" "+")) -> ("something" "is" "green" "-"))
If something is kind and it does not chase the tiger then the tiger does not need the bald eagle.
((("something" "is" "kind" "+") ("something" "chases" "tiger" "~")) -> ("tiger" "needs" "bald eagle" "-"))
If something chases the bald eagle and it likes the tiger then the tiger does not need the bald eagle.
((("something" "chases" "bald eagle" "+") ("something" "likes" "tiger" "+")) -> ("tiger" "needs" "bald eagle" "-"))
The tiger needs the bald eagle.
True
1
proof
[(triple3)]
("tiger" "needs" "bald eagle" "+")
triple3
The tiger likes the bald eagle.
False
1
inv-proof
[(triple2)]
("tiger" "likes" "bald eagle" "+")
triple2
The tiger is not green.
True
2
proof
[(((triple3) -> rule6))]
("tiger" "is" "green" "-")
((triple3) -> (rule6 % int1))
The tiger is not green.
("tiger" "is" "green" "-")
int1
The bald eagle is not nice.
False
3
inv-proof
[(((triple3 triple1) -> rule4))]
("bald eagle" "is" "nice" "-")
((triple3 triple1) -> (rule4 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle does not chase the tiger.
Unknown
inv-rconc
[@1: The bald eagle chases the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "chases" "tiger" "-")
The tiger chases the tiger.
Unknown
rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "chases" "tiger" "+")
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The tiger chases the bald eagle.
Unknown
random
[@0: The tiger chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bald eagle" "+")
@0: The bald eagle needs the tiger.[(triple1)] The tiger does not like the bald eagle.[(triple2)] The tiger needs the bald eagle.[(triple3)] @1: The bald eagle does not like the tiger.[(((triple2) -> rule2))] The bald eagle is nice.[(((triple3 triple1) -> rule4))] The tiger is not green.[(((triple3) -> rule6))]
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple1
The tiger does not like the bald eagle.
("tiger" "likes" "bald eagle" "-")
triple2
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple3
The bald eagle does not like the tiger.
("bald eagle" "likes" "tiger" "-")
((triple2) -> (rule2 % int1))
The bald eagle does not like the tiger.
("bald eagle" "likes" "tiger" "-")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple3 triple1) -> (rule4 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The tiger is not green.
("tiger" "is" "green" "-")
((triple3) -> (rule6 % int1))
The tiger is not green.
("tiger" "is" "green" "-")
int1